A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-higherorderco-repo
Updated 2024-07-02 15:16:20 +03:00
A modern proof language
starred-repo
functional-programming
dependent-types
formality
lambda-calculus
moonad
proof-language
proof-languages
theorem-prover
type-theory
starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-higherorderco-repo
Updated 2024-06-28 18:31:06 +03:00