Popular repositories Loading

1. HopfProblem HopfProblem Public

   A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard topology

   Lean 84 4

2. lean-proofs lean-proofs Public

   Some Lean proofs

   Lean 45 8

3. Erdos90 Erdos90 Public

   Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture

   Lean 22 1

4. reverse-life reverse-life Public

   Reversing time in Conway's game of Life

   C++ 1

5. snaky snaky Public

   Is Snaky a winner?

   C++

6. happy-end happy-end Public

   A computational approach to the Happy End problem

   Perl