Research code base for Automatic Textbook Formalization - View it on GitHub