Physics as Code: From Scans to Theorems with ITP APIs in $SU(5)$ Model Building

Sven Krippendorf, Joseph Tooby-Smith

A recurring challenge in theoretical physics is to make reliable global statements about bounded but combinatorially large model spaces. Exhaustive scans quickly become opaque or i…