https://github.com/clarus/falso
Coq has a terrible name and a reputation for asserting 1 = 2.
These people do not know what they are doing.
Do not trust them.
Coq has a terrible name and a reputation for asserting 1 = 2.
These people do not know what they are doing.
Do not trust them.
No comments yet.