Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.13 (1)
Scala 2.12 (1)
Scala 2.11 (1)
Platforms
JVM (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 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
251
5
1
(current)
