1.
Quickstart
2.
Language
2.1.
Logical declarations
2.2.
Modules
2.3.
Coma programs
2.4.
Coma specification
2.5.
Coma stdlib
3.
Coma as a backend language
3.1.
Rust verification (Creusot)
3.2.
x86-64 verification (Why3)
4.
Contributors
Light
Rust
Coal
Navy
Ayu
Contributors
Here is a list of the contributors who have helped improving Coma.
Andrei Paskevich
Jean-Christophe Filliâtre
Paul Patault
Xavier Denis