https://github.com/anthropics/formal-math/tree/795efb86f191735c5481675763537cfb4ff37e55/percolation
>>17046115Remaining Kozma Nitzan (2024) conjectures proved.https://nitromannitol.github.io/kn1-verification-b80e9/