Changing verification message #155
Description
"Success! Anthem found a proof of equivalence” sometimes looks strange, because the proof in one direction only may be required.
“Found a proof of the theorem” would be better.
-v
{{ message }}
"Success! Anthem found a proof of equivalence” sometimes looks strange, because the proof in one direction only may be required.
“Found a proof of the theorem” would be better.
-v