Will Cook

Public work

I build and inspect a large private workflow system made with coding agents. Work built that way is quick to produce and slow to check by hand, so the published parts are the ones a stranger can run or verify for themselves.

Projects

• Plectis

  A source-linked public map of the system. Runnable components, each with a stated claim, a local check, and a result file.

• Lean corpus — Erdős problems

  Machine-checked mathematics in Lean 4, across eight open Erdős problems. The proofs compile; the repository is public.

• Papers

  The active PDF corpus — problem notes, the main paper, and a write-up of the publication method itself.