Metamath to OMDoc Bridge

From MathWeb

Jump to: navigation, search

A bridge from Metamath to OMDoc.

This project is deferred and/or cancelled!

Please see mmj2 at the Asteroid Meta for current information about work in progress.

Retrieved from "http://www.mathweb.org/wiki/Metamath_to_OMDoc_Bridge"
Facts about Metamath to OMDoc BridgeRDF feed
Based onMetamath  +, and OMDoc  +
Homepagehttp://planetx.cc.vt.edu/AsteroidMeta/mmj2  +
MathWeb
Structures