Geeks
siddhartha-gadgil
/
LeanMetaCompute
Computation verified by generating proof terms
Primary Language
Lean
LeanMetaCompute GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
This repository is not active