clarus

Presentations from clarus

coq-wg-november-2015