Programming Language Theory Concept

Proof assistant/prover

Books

Journey Statuslearning

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).