Popular repositories Loading

1. formal-conjectures-proofs formal-conjectures-proofs Public

   Lean 4 proofs of statements from google-deepmind/formal-conjectures, linked via @[formal_proof]

   Lean 1

2. erdos935-palomar erdos935-palomar Public

   Lean 4 proofs of three solved statements of Erdős Problem 935, for the Palomar registry

   Ruby 1 1

3. erdos654-palomar erdos654-palomar Public

   Lean 4 proof of Erdős Problem 654 (no four points on a circle, few distinct distances) for the Palomar registry

   Lean 1 1

4. erdos657-palomar erdos657-palomar Public

   Lean 4 proof of Straus's observation for Erdős Problem 657 (isosceles-free point sets) for the Palomar registry

   Ruby 1 1

5. erdos393-palomar erdos393-palomar Public

   Lean 4 proof that the abc conjecture implies f(n) tends to infinity in Erdős Problem 393 (Luca 2002), for the Palomar registry

   Lean 1 1

6. erdos338-palomar erdos338-palomar Public

   Lean 1 1