1. 1. Quickstart
2. 2. Language
   1. 2.1. Logical declarations
   2. 2.2. Modules
   3. 2.3. Coma programs
   4. 2.4. Coma specification
   5. 2.5. Coma stdlib
3. 3. Coma as a backend language
   1. 3.1. Rust verification (Creusot)
   2. 3.2. x86-64 verification (Why3)
6. 4. Publications
7. 5. Contributors