lszeremeta/mizgra
Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, and other graph databases. Supports external RDF data.
PythonMIT
No issues in this repository yet.
Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, and other graph databases. Supports external RDF data.
PythonMIT
No issues in this repository yet.