Coq does not even complain my Axiom of False :rolling_on_the_floor_laughing:
Why would it? Garbage in, garbage out.
It is safer to assume false than any other property, since you know for sure and from the beginning that it is inconsistent. Assuming something that looks true may backfire
Last updated: Dec 06 2023 at 13:01 UTC