io.chymyst:curryhoward_2.13 (maven): Automatic code generation from function types using the Curry-Howard correspondence
Keywords: automated-theorem-provers|code-generation|curry-howard-isomorphism|functional-programming|intuitionistic-logic|lambda-calculus|lambda-terms|scala|scala-macros|theorem-prover