data61/PSL

Language: Isabelle - Size: 175 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 68 - Forks: 9

lukaszcz/coqhammer

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

Language: OCaml - Size: 2.49 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 228 - Forks: 32

jespercockx/ataca

A TACtic library for Agda

Language: Agda - Size: 48.8 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 48 - Forks: 4

amka66/horc

horc: Lightweight HORn-Clause Interpreter

Language: Prolog - Size: 124 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 4 - Forks: 0

ayberkt/sequents

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

Language: Standard ML - Size: 311 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 26 - Forks: 0

artemmavrin/autoproof

Intuitionistic and classical propositional logic library

Language: Haskell - Size: 5.3 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0