Conditional Lean formalization and numerical certificate for prime gaps at most 186. - View it on GitHub