Commits

• 16838be: Bump peter-evans/dockerhub-description from 3 to 4 (dependabot[bot]) #7

Mizgra now has an improved YARS-PG output which includes escaped backslashes (\) and double quotes (") in attribute values.

Commits

• 3b843a7: Bump actions/checkout from 3 to 4 (dependabot[bot]) #1
• 91a6618: Bump docker/build-push-action from 4 to 5 (dependabot[bot]) #2
• edfdd7a: Bump docker/login-action from 2 to 3 (dependabot[bot]) #3
• 021e440: Bump docker/setup-buildx-action from 2 to 3 (dependabot[bot]) #4
• 224628a: Escape \ and " in attribute values for YARS-PG output (Łukasz Szeremeta)
• 13642c3: Add tbump and bumpversion (Łukasz Szeremeta)
• 3ac84d6: Bump to 1.0.1 (Łukasz Szeremeta)

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.