Rust
47
122 commits
updated Jan 9, 2023
See manual (Japanese).
119 commits
3 commits
RBornat/jape
Jape, a configurable proof editor (best at natural deduction and sequent calculus)
53
ai4reason/Prover9
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for…
63
kavin525zhang/LLM_reasoning_framework
1
cychomatica/FreeDave-RL
work in progress
0
joom/hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
119
jix/varisat
SAT solver written in Rust
291
msp-strath/ask
being a particular fragment of Haskell, extended to a proof system
45
frenchy64/Logic-Starter
Starter Project for Introduction to Logic Programming with Clojure
221
98.3%
TeX
1.7%
