proof-search

There are 0 repository under proof-search topic.

• lukaszcz / coqhammer

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

  automationcoqdependent-typeshammerproof-searchtheorem-proververification
  Language:OCaml 207

• data61 / PSL

  proofpslisabelleproof-strategiesconjectureholmachine-learningartificial-intelligenceitpinteractive-theorem-provingdomain-specific-languageinductionproof-assistantformal-proofsformal-verificationformal-methodsproof-search
  Language:Isabelle 63

• jespercockx / ataca

  A TACtic library for Agda

  dependent-typesagdametaprogrammingtacticsproof-search
  Language:Agda 47

• ayberkt / sequents

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

  proof-searchsequent-calculusljtintuitionistic-logic
  Language:Standard ML 26

• amka66 / horc

  horc: lightweight HORn-Clause interpreter

  horn-clauseslogic-programmingproof-searchexpert-systemlogical-frameworkfoundations-of-mathematics
  Language:Prolog 3

• artemmavrin / autoproof

  Intuitionistic and classical propositional logic library

  automated-theorem-provingnatural-deductionproof-searchintuitionistic-logicsequent-calculusclassical-logicpropositional-logic
  Language:Haskell 1