Geeks
mmasdeu
/
lean-nt
Formalization of number theory results in Lean
Primary Language
Lean
lean-nt GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
Watchers
jhcloos
mmasdeu
Bellaterra, Catalunya
eemailme