Falso

A computer-verified proof of ⊥: https://github.com/clarus/falso (h/t Byron Cook)

Leave a Reply

Your email address will not be published. Required fields are marked *