Dear community, unfortunately the page
http://java.symcomp.org/FormalPopcorn.html is down. Can anybody help to get the contents? Thank you and best regards, Ken -- Ken Wenzel Fraunhofer-Institut für Werkzeugmaschinen und Umformtechnik IWU, Abteilung Digitalisierung in der Produktion, Reichenhainer Straße 88, 09126 Chemnitz Telefon: +49 371 5397-1369 ken.wen...@iwu.fraunhofer.de<mailto:ken.wen...@iwu.fraunhofer.de> http://www.iwu.fraunhofer.de/
_______________________________________________ Om mailing list Om@openmath.org https://mailman.openmath.org/cgi-bin/mailman/listinfo/om
