5 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
Florian Rabe
The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE…