[Club2] Fr. 24.11, 11.30 im Turing

[Norbert Schirmer]

This Friday, 25.11, 11.30 in room Turing (00.09.055)

Julien Narboux: Overview of Coq's Ltac

I will give an overview of the Ltac language, the tactic language of Coq 
developed by David Delahaye. I will first highlight the main features of 
the language, then I will give a few concrete examples ranging from 
tactics which are just small "shortcuts" to more complex tactics.


   Norbert