Journée « tactiques » du 30 juin 2009
10h30-12h
Compte-rendu sur Cocorico.
- Infos ADT
- Georges Gonthier (Ssreflect)
- Arthur Charguéraud (MLtac: raising Ltac to the power of ML et Notes on the Design of Standard Coq Tactics)
- Bruno Barras (the dark side of Ltac)
- Discussion
Compte-rendu sur Cocorico.