Topic: "classical-logic"
rlepigre/pml
New version of the PML language and (classical) proof assistant
Language: OCaml - Size: 5.78 MB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 20 - Forks: 2
nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Language: Python - Size: 6.22 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 19 - Forks: 2
Etec-SA/frege
A propositional logic library.
Language: TypeScript - Size: 397 KB - Last synced at: 6 days ago - Pushed at: 12 months ago - Stars: 15 - Forks: 0
smimram/div2
An Agda formalization of "division by 2" in classical ZF without choice.
Language: Agda - Size: 3.05 MB - Last synced at: 18 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
justineuro/syllogisms
Algorithmic Truth Table Method for Proving Validity of Argument Forms
Language: TeX - Size: 2.12 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 1 - Forks: 0
lambduli/resin
A toy Automated Theorem Prover for First Order Classical Logic built on Resolution.
Language: Haskell - Size: 264 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - 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
plazajan/Propositional-Resolution
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
Language: Prolog - Size: 110 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
Champitoad/focalisation-classical-realizability
Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.
Language: TeX - Size: 350 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
