Geeks
jasonrute
/
lean_proof_recording
Proof recording for Lean 3
Primary Language
Python
Apache License 2.0
Apache-2.0
lean_proof_recording GitHub
Markdown
Readme
4
Issues
25
Stargazers
5
Watchers
Watchers
jasonrute
@ibm
jesse-michael-han
University of Pittsburgh
maxwells-daemons
NVIDIA
tonywu95
Google
wellecks
Carnegie Mellon University