activity
20222026
most citedAn attack on Zarankiewicz's problem through SAT solving

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

math.NT2026

A Lean formalisation of the disproof of Ramaekers's conjecture

Jeremy Tan

We describe Redhill, a Lean formalisation of the major results in Hölzl, Kleine and Stephan's "Improved Lower Bounds for Strong -Conjectures" (arXiv:2409.13439). Design decision…