PVS is a verification system. This is a tool to verify theorems.

In other words, it is a computer software that proves your logic for you.

no more mathematical proofs. Nice.

but it is very difficult to install. It took me several attempts.

Linux works the best

More information