Zalnar 10/10/26 Zalnar 10/10/26 We compiled OpenAI’s Lean proof of the perfect-matching counting theorem. Here is what that does and does not show. Read More
Zalnar 10/10/26 Zalnar 10/10/26 We compiled OpenAI’s Lean proof of the perfect-matching counting theorem. Here is what that does and does not show. Read More