sgraf812 / mplLinks

A prototype for a monadic program logic in Lean
33Updated this week

Alternatives and similar repositories for mpl

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

Sorting: