Projects in Awesome Lists by gapt
A curated list of projects in awesome lists by gapt .
https://github.com/gapt/gapt
GAPT: General Architecture for Proof Theory
herbrand-disjunction proof proofs sat-solver scala tactics theorem-proving
Last synced: 10 Jan 2026
