intuitionistic-logic
There are 17 repositories under intuitionistic-logic topic.
Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
ptarau/TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
ayberkt/sequents
Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
0xGeorgii/SharpLogic
Open source F# mathematical logic library.
ncfavier/muri
A theorem prover for intuitionistic propositional logic
hrb90/kripke
Kripke semantics
andrewppar/intuitionist_bot
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
artemmavrin/autoproof
Intuitionistic and classical propositional logic library
dogsleg/lia
Some pretty old experiments in intuitionistic logic using Agda
vishallama/martin-lof
papers of Per Martin Löf
9Y0/NaturalDeduction
A natural deduction prover in Gentzen's system.
essentialblend/integers-comm-ring
Type theoretical proofs in Agda proving the Ring of Integers.
oIi123/TableauxProver
Graphical Tableaux Prover for Propositional-, First Order Predicate-, Intuitionistic Propositional- and Intuitionistic First Order Predicate Logic
purbancz/PhD
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
viniciusmiradouro/TheoremsInHaskell
I'm trying to use haskell as a proof checker. Simple.
mgomezch/logica-constructiva
Material sobre de lógica constructiva para bosquejar un curso introductorio de pregrado