[Om] Several Newbie Questions

Peter Horn hornp at mathematik.uni-kassel.de
Tue Jul 6 14:15:24 CEST 2010


> - SCIEnce Java libraries: Where can I find the homepage of this project?


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

More information about the Om mailing list