← All repos

openai/ten-proofs

View on GitHub ↗ ★ 218 Lean

Lean certificates accompanying ten proofs in mathematics and theoretical computer science

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2026-08-01 · latest 2026-08-04