Plat-Omega

swMATH19624MaRDI QIDQ31449FDOQ31449

Author name not available (Why is that?)

Cited In (3)

• 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

This page was built for software: Plat-Omega