Skip to content
scrambled
Programming Language Theory Concept

Proof technique

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

INFO

(Formal system, Proof/Reason technique, Language feature/design, Programming paradigm) [Rocq] In Rocq, a conceptual strategy for proving goals (like induction or case analysis), typically realized by corresponding tactics.