Home › Other › ten-proofs

ten-proofs

by openai · github.com/openai/ten-proofs

Lean certificates accompanying proofs in mathematics and theoretical computer science

Stars
★ 430
Forks
39
Language
Lean
Category
Other
License
Apache-2.0
lean

View on GitHub ↗

Featured in