reilabs/lampe

Extracting the semantics of Noir to Lean for formal verification

GitHub repository with 40 stars and 8 forks.

Language: Lean

Topics: lean4, program-extraction, theorem-proving, noir-lang, zero-knowledge

Open provider repository