The Wayback Machine - https://web.archive.org/web/20210820183633/https://github.com/topics/proof-search

#

proof-search

Here are 5 public repositories matching this topic...

lukaszcz / coqhammer

Star

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

automation dependent-types coq verification hammer theorem-prover proof-search

Updated Aug 1, 2021
OCaml

data61 / PSL

Star

machine-learning proof artificial-intelligence proof-assistant formal-methods isabelle domain-specific-language induction formal-verification itp psl hol interactive-theorem-proving conjecture formal-proofs proof-search proof-strategies

Updated Aug 15, 2021
Isabelle

jespercockx / ataca

Star

A TACtic library for Agda

dependent-types metaprogramming tactics agda proof-search

Updated Jul 17, 2021
Agda

ayberkt / sequents

Star

Proof search for intuitionistic propositional logic using Dyckhoff's LJT.

proof-search sequent-calculus ljt intuitionistic-logic

Updated Apr 21, 2020
Standard ML

artemmavrin / autoproof

Star

Intuitionistic and classical propositional logic library

propositional-logic natural-deduction proof-search sequent-calculus intuitionistic-logic classical-logic automated-theorem-proving

Updated Jul 26, 2021
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.

Curate this topic

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."