Plat-Omega

MaRDI QIDQ31449swMATHFDO

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

Cited in

(5)

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

This page was built for software: Plat-Omega