1 result found Sort:

gapt
gapt gapt
18
91
gpl-3.0
12
GAPT: General Architecture for Proof Theory
proof scala proofs tactics sat-solver theorem-proving herbrand-disjunction
Created 2011-06-29
7,543 commits to master branch, last one about a month ago