proof assistant
software tool to assist with the development of formal proofs by human-machine collaboration
Isabelle
higher-order logic (HOL) automated theorem prover
Theorem Proving System
automated theorem proving system for first-order and higher-order logic
CARINE
theorem prover, a mathematical concept
Prototype Verification System
specification language integrated with support tools and an automated theorem prover
LEGO
logical proof assistant
Lean
software for interactive and automated theorem proving
Idris
purely functional programming language