GitHub repository: zorkow/MaxTract
Primary language: OCaml
Created: 2015-11-24T13:42:28Z
Description: Old implementation of the MaxTract system for re-engineering mathematical PDF documents.