Provide statements and spans for outline nodes

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

Closed tirix closed 2 years ago

tirix commented 2 years ago

@digama0 I assume you don't have any further comments and merge this!