Ssreflectssreflect


Description

No description available. You can request to update it by clicking this link.
Homepage
https://www.msr-inria.fr/projects/mathematical-components-2/
Version
1.4

Install Ssreflect

brew install ssreflect

Dependencies2

The following 2 dependencies will be installed if you install Ssreflect: