Giters
sequents
Geek Repo
Proof & type theory studies
Github PK Tool:
Github PK Tool
sequents's repositories
code
Proof theory seminar
Language:
Idris
Stargazers:
33
Issues:
7
Issues:
0