CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
-
Updated
Jul 28, 2024 - OCaml
#
proof-search
Here are 6 public repositories matching this topic...
A TACtic library for Agda
-
Updated
Sep 14, 2024 - Agda
Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
-
Updated
Nov 27, 2023 - Standard ML
horc: Lightweight HORn-Clause Interpreter
logic-programming
expert-system
horn-clauses
proof-search
logical-framework
foundations-of-mathematics
-
Updated
Sep 11, 2024 - Prolog
Intuitionistic and classical propositional logic library
propositional-logic
natural-deduction
proof-search
sequent-calculus
intuitionistic-logic
classical-logic
automated-theorem-proving
-
Updated
Jul 12, 2023 - Haskell
Improve this page
Add a description, image, and links to the proof-search topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-search topic, visit your repo's landing page and select "manage topics."