proof-search topic

List proof-search repositories

coqhammer

208
Stars
29
Forks
Watchers

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

verified publisher icon lukaszcz

sequents

26
Stars
0
Forks
Watchers

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

verified publisher icon ayberkt

PSL

63
Stars
9
Forks
Watchers

verified publisher icon data61

ataca

47
Stars
3
Forks
Watchers

A TACtic library for Agda

verified publisher icon jespercockx