(Apologies for duplicates)
--
Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
_______________________________________________
Om-announce mailing list
[email protected]
http://openmath.org/mailman/listinfo/om-announce
