PyPI page
Home page
Author:
Łukasz Szeremeta
License:
MIT License
Summary:
Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, and other graph databases
Latest version:
1.0.1
Required dependencies:
importlib-resources
|
lxml
|
rdflib
Downloads last day:
0
Downloads last week:
5
Downloads last month:
18