Jazzpirate
commented
9 months ago - Core
- new relational database using rdf4j based on the Upper Library Ontology
- sTeX
- various quality of life improvements, compatibility with sTeX 3.4
- MathWebSearch: updated MMT's MWS API to new implementation
- improvements to VS code plugin
- libraries: ATP support via TPTP in LATIN, in particular for DHOL