sequents

Proof & type theory studies

Pinned Repositories

code
Proof theory seminar
Language:Idris33 7 02

sequents's Repositories

sequents/code
Proof theory seminar
Language:Idris33 7 02

Contact site admin: Geeks.