Reference

Articles, guides, and notes on Reference.

• Coq Cheatsheet: Tools and Tactics for Goal Solving
  2023-12-19 · Updated 2026-06-26

  A practical, interactive reference to everyday proof tactics, with worked examples.

  Formal MethodsReference