1 result found Sort:

Chymyst
curryhoward Chymyst
16
259
apache-2.0
16
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
scala lambda-terms scala-macros theorem-prover code-generation lambda-calculus intuitionistic-logic functional-programming curry-howard-isomorphism automated-theorem-provers
Created 2017-12-12
88 commits to master branch, last one 3 years ago