There are no reviews yet. Be the first to send feedback to the community and the maintainers!
MMT
The MMT Language and Systemuniformal.github.io
Main website for MMT and related materialTGView3D
A 3D Theory Graph Viewer for MMT.Proofs
Designing a proof representation/interchange format as inspired by the Dagstuhl seminar on Universality of Proofs (2016)TGView
GraphViewer for TheoryGraphsimplicit
paper on implicit morphismsmmt_jupyter_kernel
A Jupyter kernel for MMTMMTPy
Python API for MMT. Work in progress.IntelliJ-MMT
An IntelliJ-Plugin for MMT (under development)physics
VSCode-MMT
MMT plugin for Visual Studio CodeESSLLI2019
apidoc
Auto-generated API documentation for MMT. All changes will be overwritten on the next commit.tgview3d.mathhub.info
TGView 3d WebsiteLove Open Source and this site? Check out how you can help us