-
pmGenerator Public
Forked from xamidi/pmGeneratorAn exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
-
-
gkc Public
Forked from tammet/gkcA reasoning system for large knowledge bases.
C GNU Affero General Public License v3.0 UpdatedMar 3, 2024 -
Prover9 Public
Forked from ai4reason/Prover9Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
C GNU General Public License v2.0 UpdatedJan 26, 2024 -
Tree Proof Generator
JavaScript GNU General Public License v3.0 UpdatedJul 15, 2023