Plat-Omega
From MaRDI portal
Software:31449
No author found.
Related Items (3)
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems ⋮ MMTTeX: connecting content and narration-oriented document formats ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
This page was built for software: Plat-Omega
