Geeks
dbieber
/
theorem_proving_in_lean
Theorem proving in Lean
Primary Language
Python
Apache License 2.0
Apache-2.0
theorem_proving_in_lean GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
dbieber
Google Brain
jhcloos