Dear All, I am a bachelor student at Jacobs University Bremen! Under the supervision of Prof. Kohlhase, i have implemented a bidirectional translation between the two OpenMath encodings (binary and XML). Now, i need some huge OpenMath files to run my implementation over in order to derive statistics for my report; I hope this is the right place to ask.
Thanks in advance. sincerely, Evans Bekoe. _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
