Structure in Prime Gaps - Formalized