PrimeGaps186

Overview

This repository contains a Lean 4 formalization of a prime-gap bound and related proof artifacts. It is most relevant to developers interested in theorem proving, formal verification, and math-heavy AI research workflows.