Why Lean is faster than Rust — kim@lean
kim-em.github.io
Notes on Lean, tactics, and making the theorem prover do more work.