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