Section: New Software and Platforms

Ssreflect

Functional Description

Ssreflect is a tactic language extension to the Coq system, developed by the Mathematical Components team.

• Participants: Cyril Cohen, Yves Bertot, Laurence Rideau, Enrico Tassi, Laurent Thery, Assia Mahboubi and Georges Gonthier

• Contact: Yves Bertot

• URL: http://ssr.msr-inria.inria.fr/

This year we mainly performed maintenance operations on this software extension to the Coq system (Enrico Tassi).