Geeks
plfa
/
plfl
Programming Language Foundations in Lean
Primary Language
Lean
plfl GitHub
Markdown
Readme
0
Issues
19
Stargazers
2
Watchers
plfl
Programming Language Foundations in Lean