teleo/teleo-infrastructure
8
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions 1
454 commits 38 branches 1 tag 12 MiB
Commit graph

3 commits

Author SHA1 Message Date
twentyOne2x
be23b5e95b Add Cory-style Leo out-of-sample proof harness 2026-07-13 07:13:08 +02:00
twentyOne2x
63278b6354 Record Leo post-repair direct-claim proof
Some checks are pending
CI / lint-and-test (push) Waiting to run
Details
2026-07-10 06:22:11 +02:00
twentyOne2x
c88b54d573 Prove Leo restart survival and tighten identity proof
Some checks are pending
CI / lint-and-test (push) Waiting to run
Details
2026-07-10 05:32:21 +02:00