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

Stargazers

lszeremeta
University of Bialystok
mkirch
PwC Artificial Intelligence
zmughal
Washington, D.C. - Baltimore, Maryland area, United States of America, Earth, Galactic Sector ZZ9 Plural Z Alpha