my title

This is a collaborative project to formalize a proof of the sum of three square. Setup