tactics

Not the keyword you're looking for? See all keywords.

Solving Futbol Like Chess Solving Futbol Like Chess
5 min read Keywords:  futbol, optimization, goodhart, variance, tactics, systems

European futbol optimized what is measurable and converged on a monoculture. On variance, the duel, deep blocks, and the danger of optimizing proxies.

Writing Your First Proofs in Lean Writing Your First Proofs in Lean
7 min read Keywords:  lean, theorem proving, formal verification, tactics, induction, lean 4

The same three theorems from the Python prover, now in Lean 4.