lean 4 typechecker in scala (based on Gabriel Ebner's trepplein)
Home Page:https://siddhartha-gadgil.github.io/trepplein4/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool