kim-em.github.io

Why Lean is faster than Rust — kim@lean

Notes on Lean, tactics, and making the theorem prover do more work.

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.