Plat-Omega

swMATH19624MaRDI QIDQ31449FDOQ31449

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/S1571066107001727?via%3Dihub

Cited In (5)

• MMTTeX: connecting content and narration-oriented document formats
• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
• Multi
• MMTTeX

This page was built for software: Plat-Omega