search

UniFormal / TGView3D

A 3D Theory Graph Viewer for MMT.
GNU General Public License v3.0
6 stars 4 forks source link

Root Orientation #20

Closed richardmarcus closed 5 years ago

richardmarcus commented 5 years ago

Top or Bottom?

richardmarcus commented 5 years ago

belongs to https://github.com/UniFormal/TGView3D/issues/2