ssreflect 1.2

The Coq “Ssreflect” extension is a general platform to develop Mathematical Components.

We use Ssreflect to demonstrate that formalized mathematical theories can, like modern software, be built out of components. Ssreflect can also be retargetted to broader objectives.

See here for further information.

Personal tools