Status 2015-03-25 rzach Falso A computer-verified proof of ⊥: https://github.com/clarus/falso (h/t Byron Cook) Share this: Share on Mastodon (Opens in new window) Mastodon Share on Facebook (Opens in new window) Facebook Share on Reddit (Opens in new window) Reddit Share on Pocket (Opens in new window) Pocket Share on X (Opens in new window) X Email a link to a friend (Opens in new window) Email Print (Opens in new window) Print