sanpoyur-dust / smalftt

🍰 (WIP) a small logical framework based on dependent type theory

Geek Repo

Github PK Tool