-
Notifications
You must be signed in to change notification settings - Fork 0
MPDs
Michael Kohlhase edited this page Apr 4, 2017
·
5 revisions
The best description of MPDs is currently the following Preprint.
We are developing a theory graph viewer that shows theory model graphs as MPD diagrams. Here is a test to play with, currently you can only play with the layout. It is already generated automatically from the MMT theory graph generated by our meta-model of the van Roosbroeck model. We will extend it as we go along, feel free to give feedback.