Globular: graphical theorem prover for higher categoriesjohncarlosbaez.wordpress.com1 pointmathgenius10 years ago