Section: New Software and Platforms
Ssreflect
Functional Description
Ssreflect is a tactic language extension to the Coq system, developed by the Mathematical Components team.
This year we improved the manual of the language, in order to document new features and to clarify some older parts of the document.