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 X (Opens in new window) X Email a link to a friend (Opens in new window) Email Print (Opens in new window) Print