There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, and other graph databases. Supports external RDF data.