7 citations · 58 across the 20 of their papers we have counts for
1 paper · 2 filters
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…