Skip to content
scrambled
Programming Language Theory Concept

Coq

Books JourneyProgramming Language Theory Statusreviewing Tags
  • formal system
  • language feature design
  • programming paradigm
  • proof reason technique

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.