proof-search

There are 6 repositories under proof-search topic.

lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Language:OCaml220 8 8831
data61/PSL
Language:Isabelle65 9 2149
jespercockx/ataca
A TACtic library for Agda
Language:Agda48 10 14
ayberkt/sequents
Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
Language:Standard ML26 7 20
amka66/horc
horc: Lightweight HORn-Clause Interpreter
Language:Prolog4 2 00
artemmavrin/autoproof
Intuitionistic and classical propositional logic library
Language:Haskell1 1 00