Geeks
jg-fisher
/
lean-ed
Basics of Lean4 and Functional Programming and Interactive Theorem Proving
The Unlicense
Unlicense
lean-ed GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
lean-ed
Basics of Lean4 and Functional Programming and Interactive Theorem Proving