Geeks
starkware-libs
/
formal-proofs
Primary Language
Lean
Apache License 2.0
Apache-2.0
formal-proofs GitHub
Markdown
Readme
1
Issue
55
Stargazers
6
Watchers
Watchers
alreadydone
Heidelberg / Shenzhen
avigad
Carnegie Mellon University
eemailme
javra
jhcloos
yoavseginer