1 result found Sort:

gapt
gapt gapt
18
96
gpl-3.0
13
GAPT: General Architecture for Proof Theory
proof scala proofs tactics sat-solver theorem-proving herbrand-disjunction
Created 2011-06-29
7,646 commits to master branch, last one 4 months ago