Hya! > - SCIEnce Java libraries: Where can I find the homepage of this project?
http://java.symcomp.org You get the possibility to enter your OpenMath markup in Popcorn (http://java.symcomp.org/FormalPopcorn.html), which is a human typeable OM representation, for free. (The java lib includes a parser for that). Best, Peter _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
