intuitionistic-logic topic

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Chymyst

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

ayberkt

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

ptarau

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

nclarius