A Logic-Independent IDE
arXiv:1410.8219 · doi:10.4204/EPTCS.167.7
Abstract
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 functionality includes advanced features such as context-sensitive auto-completion, search, and change management.
In Proceedings UITP 2014, arXiv:1410.7850