Skip to content

Mizgra v1.0.0: Finally public!
Compare
Choose a tag to compare
@github-actions github-actions released this 16 Jun 01:13
· 21 commits to main since this release
v1.0.0
7658740

Say hello to Mizgra!
Mizgra is a new Python tool. Mizgra converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG. Produce files ready to import to various graph databases, including Neo4j. Supports external RDF data in various formats.

Assets 4
Loading