Journée « tactiques » du 30 juin 2009 | The Coq Proof Assistant

Journée « tactiques » du 30 juin 2009

10h30-12h

Infos ADT
Georges Gonthier (Ssreflect)

13h30-17h00

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

La réunion se déroulera au LIX à Palaiseau. Accueil à partir de 10h.
Compte-rendu sur Cocorico.