Software that assists you with doing mathematical proofs on a computer.
We sort the list by the theoretical basis on which each proof assistant is based.