Coq

Tools: Rocq (formerly Coq)

• (Programming paradigm, Language feature/design, Formal system, Proof/Reason technique) The former name of the Rocq proof assistant (1984-2024), still widely used in literature and older documentation.