search

metamath / metamath-knife

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

Outline bugfix #60

Closed digama0 closed 2 years ago

digama0 commented 2 years ago

Extracted from @tirix 's addition to #59 .

digama0 commented 2 years ago

Can a test be added to show the bug?

tirix commented 2 years ago

Thanks for this PR! Yes, it would be good to have outline tests, like for other aspects, no need to do this in this PR though.