GitHub - openai/ten-proofs: Lean certificates accompanying ten proofs in mathematics and theoretical computer science

github.com

saved by: 0 people
related read on: Ten advances in mathematics and theoretical computer science from the discussion