New posts in Theorem Proving

Basic theorem proving in Mathematica?

Proving that a reversible list is a palindrome in Coq

Isabelle: Sledgehammer finds a proof but it fails