Topic: "automated-deduction"
fsestini/zsyntax
Automated theorem prover for a linear logic-based calculus for molecular biology.
Language: Haskell - Size: 709 KB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 0
proof-theory/pmGenerator Fork of xamidi/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language: C++ - Size: 42.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
