OpenMath Editor

This is an OpenMath editor to edit OpenMath Content Dictionaries.

It is available for Windows and Linux:

If you find some problem, you can contact with me in: jonathan.heras "arroba" unirioja.es

You can see my personal page here.

Some screen shots:

openmath-editor

openmath-editor