siddhartha-gadgil / LeanLion

Code for Singapore Workshop on Formal Proofs and Lean

Geek Repo

Github PK Tool