search

homotopy-io / homotopy-webclient

https://homotopy.io
27 stars 5 forks source link

Use LaTeX rendering of cell names in tooltips when hovering over diagram #90

Open jamievicary opened 5 years ago