The Math Is Haunted

A taste of Lean.