Chymyst/curryhoward

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

语言：Scala · GitHub 星标：263 · Fork：18

话题：automated-theorem-provers · code-generation · curry-howard-isomorphism · functional-programming · intuitionistic-logic · lambda-calculus · lambda-terms · scala

在 GitHub 上查看原仓库