Projects in Awesome Lists tagged with program-extraction
A curated list of projects in awesome lists tagged with program-extraction .
https://github.com/reilabs/lampe
Extracting the semantics of Noir to Lean for formal verification
lean4 noir-lang program-extraction theorem-proving zero-knowledge
Last synced: 06 Sep 2025
