Coq — Cheat Sheet

Quick info

• Slug: coq
• Extensions: -

Hello World

// Hello World in Coq
Hello, World!

Notes

• This is a starter reference to avoid empty pages.
• You can expand it with real syntax, examples, and trusted links.