siddhartha-gadgil / LeanMetaCompute

Computation verified by generating proof terms

Geek Repo

Github PK Tool