Table of Contents

Introductory Stuff

Coq Reading

Installing Coq

CoqIDE Notes

Proof General

Stuff I'd like to Prove

For the cheaters Formalizing 100 theorems in Coq

Language Notes

Vernacular Commands

Vernacular Command Reference. Notes on specific commands created as I learn about them below.

Gallina Expressions

The Gallina Specification

Tactics

Tactic Index

Oddities

Standard Library

Terms

Questions