EdAyers/lean-humanproof

Implementation of Gowers & Ganesalingam theorem prover in Lean

Lean