Old implementation of the MaxTract system for re-engineering mathematical PDF documents.
Primary LanguageOCaml