AUGER Cédric

Email: <<cauger AT SPAMFREE lri DOT fr>>

...

Finite types.

Some tactics to keep hypothesis clean.

Playing with notations with Coq under X.

Set of notations using UTF-8.

Some notations for linear logic.

Monads in Coq.

Annotating a proof.

A short tutorial for extraction.

AUGER (last edited 14-05-2012 13:56:55 by AUGER)

Cocorico!WikiLicense