ssreflect 1.3

New release of ssreflect 1.3 for Coq 8.3pl1

The ssreflect developers are pleased to announce the new release of ssreflect 1.3 for Coq 8.3pl1 .

More on Mathematical Components web page.

Personal tools