Prove It | The Vega Framework

Prove It on The Vega Framework. A man derived the Standard Model from sphere packing.