search

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
25 stars 9 forks source link

--export-graphml-deps error despite PR request for this feature approved - Part 2 #114

Closed humanitiesclinic closed 1 year ago

humanitiesclinic commented 1 year ago

Follow-up from: https://github.com/david-a-wheeler/metamath-knife/issues/113 ... which is still giving problems...

humanitiesclinic commented 1 year ago

there's no export_graphml_deps branch. See: https://github.com/david-a-wheeler/metamath-knife/pull/112

A merge to the main branch, of 4 commits from a fork has been approved.

So shouldn't I just

git clone https://github.com/tirix/metamath-knife.git

Even when I did that, I still had the same error...

digama0 commented 1 year ago

please stick to one issue