Proof assistant prover

Tools: Rocq (formerly Coq)

• (Logic, Proof/Reason technique, Formal system) A tool that helps users construct and verify formal proofs, combining human guidance with automated checking (like Rocq, Lean, Isabelle).