Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Ssreflect and MathComp 1.5 for Coq 8.5beta1 available

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Ssreflect and MathComp 1.5 for Coq 8.5beta1 available


Chronological Thread 
  • From: Enrico Tassi <enrico.tassi AT inria.fr>
  • To: coq-club AT inria.fr, ssreflect AT msr-inria.inria.fr
  • Subject: [Coq-Club] Ssreflect and MathComp 1.5 for Coq 8.5beta1 available
  • Date: Fri, 30 Jan 2015 13:46:00 +0100

Following the announcement of Coq 8.5beta1, I'm happy to provide a port of
Ssreflect 1.5 and the Mathematical Components library 1.5 to the beta
release of Coq. Feedback is very welcome.

The sources are available here:

http://ssr.msr-inria.inria.fr/FTP/ssreflect-1.5.coq85beta1.tar.gz
http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.5.coq85beta1.tar.gz

I've also prepared a Windows installer, intended to be used on top
of the official Windows installer for Coq 8.5beta1.

http://ssr.msr-inria.inria.fr/FTP/ssr-mathcomp-installer-1.5coq8.5beta1.exe

Best,
--
Enrico Tassi



Archive powered by MHonArc 2.6.18.

Top of Page