reilabs / lampeLinks

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

Alternatives and similar repositories for lampe

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

Sorting: