Hi Evans, hi Normen, hi Kristina, On Saturday 03 May 2008 16:48:04 Evans Bekoe wrote: > 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.
didn't you present the OMDoc-encoded version of a large VeriFun proof last week? That should be suitable for Evans. If you think so, too, could you tell him where to find it? Cheers, Christoph -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
