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: Assia Mahboubi, Cyril Cohen, Enrico Tassi, Georges Gonthier, Laurence Rideau, Laurent Théry and Yves Bertot

• Contact: Yves Bertot

• URL: http://math-comp.github.io/math-comp/