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 Théry, Assia Mahboubi and Georges Gonthier
-
Contact: Yves Bertot
-
URL: http://ssr.msr-inria.inria.fr/