sgraf812 / mplLinks

A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo
37Updated last month

Alternatives and similar repositories for mpl

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

Sorting: