Geeks
leanprover
/
fp-lean
Functional Programming in Lean
Primary Language
JavaScript
Other
NOASSERTION
fp-lean GitHub
Markdown
Readme
159
Issues
73
Stargazers
5
Watchers
Watchers
david-christiansen
Copenhagen, Denmark
digama0
Chalmers University of Technology
eemailme
leodemoura
AWS
paulch42