sequents

icon location Proof & type theory studies

Results 1 repositories owned by sequents

code

33
Stars
2
Forks
Watchers

Proof theory seminar

verified publisher icon sequents