Coq: Introduction

Start learning Coq with a quick overview and Hello World.

Read time: 1 min • Words: 40

My Progress

Coq: Syntax →

Coq — Introduction

Overview

This is a starter page for Coq.

Hello World

// Hello World in Coq
Hello, World!

What you'll learn

How to run Coq
Basic syntax style
Next steps (lessons & references)

Next

Open the Syntax & Cheat Sheet page for this language.

Coq: Syntax →