coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- [Coq-Club] Coq 8.5 beta 1, Matthieu Sozeau, 01/29/2015
- Re: [Coq-Club] Coq 8.5 beta 1, Jonathan Leivent, 01/29/2015
- Re: [Coq-Club] Coq 8.5 beta 1, John Wiegley, 01/30/2015
- Re: [Coq-Club] Coq 8.5 beta 1, Pierre Courtieu, 01/30/2015
- [Coq-Club] Ssreflect and MathComp 1.5 for Coq 8.5beta1 available, Enrico Tassi, 01/30/2015
Archive powered by MHonArc 2.6.18.