1 result found Sort:
GAPT: General Architecture for Proof Theory
Created
2011-06-29
7,543 commits to master branch, last one about a month ago