Powerful and user-friendly property graph generator that creates graphs with specified node and edge numbers, supporting multiple output formats, graph schema and visualization
Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, and other graph databases