[Om] search for huge OpenMath files

[Christoph LANGE]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20080505/ff0e09dc/attachment.pgp