GitHub repository: lszeremeta/mizgra
Primary language: Python
Created: 2023-06-15T23:15:35Z
Description: Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, and other graph databases. Supports external RDF data.