Wrong axioms considered in usage

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

Open tirix opened 1 year ago

tirix commented 1 year ago

This is to track the problem with set.mm#3452.

At first sight, it looks like the labels in the comment section are wrongfully considered as part of a proof.