Geeks
hanzhi713
/
lean-proofs
Logic and proofs in Lean
Primary Language
Lean
MIT License
MIT
lean-proofs GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
No issues in this repository yet.