A Machine-Certified Proof of Frankl’s Conjecture via Collision-Restitution Invariants.

A Machine-Verified Constructive Proof of Lemoine's Conjecture.

This is Reinforcement Learning for Graph Theory (RLGT), a reinforcement learning framework that aims to facilitate future research in extremal graph theory.

A Lean 4 structural encoding of the Beal Conjecture using the 12-primitive Imscribing Grammar.