Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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: 02 Aug 2024