A next-gen functional language
dependent-types
functional-programming
lambda-calculus
type-theory
theorem-prover
formality
moonad
proof-language
proof-languages
-
Updated
May 17, 2024 - Rust