nhaliday + ide   12

Opetopic - Home
Opetopic is an experimental graphical proof assistant for higher category theory.
math  algebra  worrydream  visualization  tools  ide  math.CT 
july 2016 by nhaliday

bundles : worrydream

Copy this bookmark:



description:


tags: