sequents

Proof & type theory studies

Pinned Repositories

code
Proof theory seminar
Language:Idris31 7 02

sequents's Repositories

sequents/code
Proof theory seminar
Language:Idris31 7 02

Contact site admin: Geeks.