proof systems
New directions in editing formal mathematical text
Plato, the system for Interactive Mathematical Authoring built on top of Omega, looks good! Marc Wagner is the main developer. I am blogging this to remind myself that I have questions to ask.
- Olga.Caprotti's blog
- Login or register to post comments
- Read more
- 2278 reads

