[spaceman1331]

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.