Results
1
repositories owned by
GAPT
gapt
91
Stars
18
Forks
Watchers
GAPT: General Architecture for Proof Theory
