Coq: Giriş
Coq öğrenmeye hızlı bir genel bakış ve Hello World ile başla.
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.