Verification by Gradient Descent: Fixed Perimeter and Maximum Area = Square

Is the notebook available in github? I would like to review the code of plots and animations. The post and links is awesome.