4 ms·Or Lean mathlib; what can GA methods like mutation and selection do with the Standard Model in Lean?by westurner 2y agoOr Lean mathlib; what can GA methods like mutation and selection do with the Standard Model in Lean?