reilabs / lampe

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

Alternatives and similar repositories for lampe:

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