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

Implement `Comparer` trait for the Database #83

Closed tirix closed 2 years ago

tirix commented 2 years ago

The SegmentOrder which allows to compare statement addresses and token addresses is private. This implements the Comparer trait for the Database, so that comparing statement addresses is possible on the API.