scrambled
scrambled
Concept

Proof technique

Modified just now
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.