Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ai4reason / Prover9
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ai4reason%2FProver9
Stars: 27
Forks: 8
Open Issues: 1
License: gpl-2.0
Language: C
Repo Size: 1.81 MB
Dependencies:
0
Created: almost 6 years ago
Updated: 4 months ago
Last pushed: 4 months ago
Last synced: 4 months ago
Topics: computer-science, first-order-logic, logic, mathematics, model-checking, theorem-prover, theorem-proving
Files
No dependencies found