Search *

1 results

chymyst/curryhoward 0.3.8

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

Scala versions: 2.13 2.12 2.11

lambda-terms scala-macros functional-programming theorem-prover code-generation lambda-calculus automated-theorem-provers curry-howard-isomorphism scala intuitionistic-logic

260 5