EN FR
EN FR


Section: New Software and Platforms

Ssreflect

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