Coq Visualization - Githubissues

UniFormal / TGView3D

A 3D Theory Graph Viewer for MMT.

GNU General Public License v3.0

6 stars 4 forks source link

Coq Visualization #26

Closed richardmarcus closed 5 years ago

richardmarcus commented 5 years ago

import data into viewer
build special interaction/filtering options

richardmarcus commented 5 years ago

Done