plfa / plfl

Programming Language Foundations in Lean
28Updated 3 months ago

Alternatives and similar repositories for plfl:

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