Perverse math homotopy type theory


Via /r/aiArt