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.