plfa / plfl

Programming Language Foundations in Lean
36Updated last week

Alternatives and similar repositories for plfl:

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