openmath

Rust library for parsing openmath files