Comment by solomonb

If we are going to formalize everything can we please do it in the style and spirit of the 1lab? https://1lab.dev