Skip to content

[WIP/experiment] formal proofs with aeneas/hax#692

Draft
Oppen wants to merge 1 commit into
mainfrom
poc/formal_proof
Draft

[WIP/experiment] formal proofs with aeneas/hax#692
Oppen wants to merge 1 commit into
mainfrom
poc/formal_proof

feat(proofs): formal verification of Merkle verifier (aeneas → Lean 4)

df57868
Select commit
Loading
Failed to load commit list.

There are no checks for this commit