Geeks
ondanaoto
/
note_fp
A note on Functional Programming in Lean4
Primary Language
Lean
note_fp GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
ondanaoto