Giters
sequents

sequents

Geek Repo

Proof & type theory studies

Github PK Tool:Github PK Tool

sequents's repositories

code

Proof theory seminar

Language:IdrisStargazers:33Issues:7Issues:0