Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / gapt / gapt
GAPT: General Architecture for Proof Theory
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gapt%2Fgapt
Stars: 91
Forks: 18
Open Issues: 44
License: gpl-3.0
Language: Scala
Repo Size: 181 MB
Dependencies:
0
Created: almost 13 years ago
Updated: 19 days ago
Last pushed: 16 days ago
Last synced: 16 days ago
Topics: herbrand-disjunction, proof, proofs, sat-solver, scala, tactics, theorem-proving
Files
Loading...
Readme
Loading...
No dependencies found