Lean repository linked
An Explicit Counterexample to the Rank-Two Poisson Conjecture
arXiv:2608.23777 · arXiv
Lean formalisations (1)
zblore/fc-poisson-2 at 4d85fa884e51
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.