The MMT Language and System

TGView (the MMT Theory Graph viewer)

TGView is a brower-based theory graph viewer based on the VisJS network library. The code is available on GitHub, and a MathHub instance gives visual access to the MathHub archives as interactive theory graphs.