reilabs / lampe

Extracting the semantics of Noir to Lean for formal verification
20Updated this week

Alternatives and similar repositories for lampe:

Users that are interested in lampe are comparing it to the libraries listed below