Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
1
Formalizing flag algebras in Lean not only secures the proofs of key extremal graph theorems but also reveals a new criterion for comparing graph constraint methods.