[Om] Page with POPCORN definitions is down

[Wenzel, Ken]

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.wenzel at iwu.fraunhofer.de<mailto:ken.wenzel at iwu.fraunhofer.de>
http://www.iwu.fraunhofer.de/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20220524/bc372f1d/attachment.htm>