OpenMath Content Dictionary Wiki

Our semantic wiki SWiM is now being used as a browser and editor for the official OpenMath Content Dictionaries.