Select Topic (
TAB
,
,
)
Type
#
to select from topics
<
B
/
>
Search
Ctrl K
About
Contact
Lean
Functional Programming Language, Proof Assistant? Pick two.
Started
Last edited
1 min read
Proof Assistant
Functional Programming
Mathematics
≺≻
Lean and WASM
Verifying Distributed Protocols in Veil | Proofs and Intuitions
GitHub - lenianiva/lean4-nix: Nix overlay for Lean 4, and lake2nix · GitHub
≺≻ Lean and WASM