Login
1 results
Sorting
Relevant
Dependent
Created
Updated
Stars
Forks
Contributors
Contributing Search
Filters
Target
Jvm (1)
Scala
2.11 (1)
2.12 (1)
Topics
automated-theorem-provers (1)
code-generation (1)
curry-howard-isomorphism (1)
functional-programming (1)
intuitionistic-logic (1)
lambda-calculus (1)
lambda-terms (1)
scala (1)
scala-macros (1)
theorem-prover (1)
chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Scala (JVM):
2.11
2.12
theorem-prover
scala
functional-programming
lambda-terms
code-generation
scala-macros
lambda-calculus
curry-howard-isomorphism
automated-theorem-provers
intuitionistic-logic
175
4
1
1
(current)