Skip to content


root edited this page Oct 11, 2017 · 6 revisions

Workshop on reification and generic tactics

A working group on the topic of reification, generic tactics and type classes will take place on thursday march 31th at INRIA Paris (23 avenue d'Italie, 5th floor in the orange room), starting at 9.30am. The goal of this meeting is to review existing efforts to support reification and develop generic tactics and libraries using type classes in Coq and discuss further research directions in that area. The program is as follows:

If you would like a particular point to be discussed, please add it to the discussion item.

Clone this wiki locally
You can’t perform that action at this time.