Coq: Syntax
Coq syntax starter + common patterns.
Coq — Syntax
Hello World
// Hello World in Coq
Hello, World!
Common patterns
Note: some languages differ. This page is a starter cheat sheet you can expand.
Comments
// line comment
/* block comment */
Variables (example)
// var / let / const / or language-specific syntax
Conditionals
// if / else
Loops
// for / while
Functions
// define a function