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 10 forks source link

Outline tree #56

Closed tirix closed 2 years ago

tirix commented 2 years ago

This refactors the Outline of a database into a Tree structure, which has very lightweight node ID's which can be recorded outside of the database. Statement nodes (axioms and theorems) are now also included in the outline.

tirix commented 2 years ago

@digama0 Can we merge like this?