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

Next outline element #65

Closed tirix closed 2 years ago

tirix commented 2 years ago

This adds the ability to retrieve the next outline node for any node. This could probably be re-written in a nicer way using statement address iterators introduced in #61 , I'll look into that.

tirix commented 2 years ago

Actually maybe I could merge this as-is if you agree, and then rework later?