Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
A non-interactive proof assistant using the Haskell type system
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Mostly Automated Proof Repair for Verified Libraries
A theorem prover for intuitionistic propositional logic
A Proof Checker for Constructive Logic
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Interactive lambda calculus playground - parser, type checker, evaluator, proof-tree visualization, and Curry–Howard correspondence, plus a VS Code extension.
Curry-Howard Correspondence for Mathematicians
Yet anOther Logic Kernel
To associate your repository with the curry-howard-isomorphism topic, visit your repo's landing page and select "manage topics."