Projects in Awesome Lists tagged with tautology
A curated list of projects in awesome lists tagged with tautology .
https://github.com/ixjf/logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
consistency contingency contradiction first first-order formal-validity formulas logic order parser pest predicate relational rust tautology truth-tree validity wasm
Last synced: 15 Nov 2024
https://github.com/yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
ai artificial-intelligence first-order-logic first-order-substitution first-order-unification most-general-unifier subsumption subsumption-elimination tautology tautology-checking theorem-prover theorem-proving
Last synced: 15 Apr 2025
https://github.com/markuswustenberg/tfft.dk
Tautologisk Forening For Tautologi.
Last synced: 22 Feb 2025
https://github.com/coq-community/stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
coq coq-ci coq-extraction coq-plugin docker-coq-action nix-action tautology tautology-checking
Last synced: 24 Nov 2024
https://github.com/rocq-community/stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
coq coq-ci coq-extraction coq-plugin docker-coq-action nix-action tautology tautology-checking
Last synced: 10 Apr 2025
https://github.com/markuswustenberg/fttf.dk
Forenede Tautologers Tautologiske Forening.
Last synced: 22 Feb 2025