proof systems

Printer-friendly version

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.

Syndicate content