Geeks
zeptometer
/
LearnLean
Code Snippets for TheoremProvingInLean
Primary Language
Lean
LearnLean GitHub
Markdown
Readme
0
Issues
1
Stargazer
5
Watchers
Watchers
blue-jam
Tokyo, Japan
jhcloos
na4zagin3
Indeed.com
nuip
ukikagi