Comment by The_rationalist

What about coq vs z3 ? It seems they are the two most actively developed theorem provers/checkers