search

UniFormal / TGView3D

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

MMT Page Format #28

Open richardmarcus opened 5 years ago

richardmarcus commented 5 years ago

We want a link that hides the browsing info on the left side and the URI at the top