primegaps186
Conditional Lean formalization and numerical certificate for prime gaps at most 186.
Take a look βOPEN SOURCE, IN FOCUS
kimwalisch/primesieve
π Fast prime number generator.
Saved projects stay in this browser. No account needed.
TAKE A CLOSER LOOK
The repository is the place to check installation steps, supported platforms, the license, and current maintenance before choosing a tool.
Read the documentation on GitHub βFind projects in the same areas, or search the archive for a different approach.