curry-howard-isomorphism topic

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

Chymyst

A non-interactive proof assistant using the Haskell type system

ivanbakel

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

ptarau