Skip to content

docs(proof-status): reconcile post-T0 axiom audit ledger + machine st…

8ba25c4
Select commit
Loading
Failed to load commit list.
Merged

proof(coq): #133 rescue rebase + discharge eval_deterministic #24

docs(proof-status): reconcile post-T0 axiom audit ledger + machine st…
8ba25c4
Select commit
Loading
Failed to load commit list.