Lean
Functional Programming Language, Proof Assistant? Pick two.
Started
Proof Assistant
Functional Programming
Mathematics
- Verifying Distributed Protocols in Veil | Proofs and Intuitions
- GitHub - lenianiva/lean4-nix: Nix overlay for Lean 4, and lake2nix · GitHub