openai/LongGapsBetweenPrimes
A Lean formalization of a bound concerning long gaps between primes
Lean
1
1 contributors
Apache License 2.0
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues