coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 8.5 and MathClasses

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] 8.5 and MathClasses
Date: Wed, 6 May 2015 10:08:39 -0700

I am trying to switch to Coq 8.5 and need to re-compile some libraries I am
using.
I tried to compile MathClasses and there are errors. I will try to resolve
them
myself but in interest of saving time, did anybody already tried to
compile/use
MathClasses with Coq 8.5? Thanks!

Sincerely,
Vadim Zaliva

--
CMU ECE PhD candidate
Mobile: +1(510)220-1060
Skype: vzaliva

[Coq-Club] 8.5 and MathClasses, Vadim Zaliva, 05/06/2015
- Re: [Coq-Club] 8.5 and MathClasses, Jason Gross, 05/06/2015
  - Re: [Coq-Club] 8.5 and MathClasses, Vadim Zaliva, 05/06/2015
    - Re: [Coq-Club] 8.5 and MathClasses, Matthieu Sozeau, 05/07/2015
    - Re: [Coq-Club] 8.5 and MathClasses, Bas Spitters, 05/07/2015
      - Re: [Coq-Club] 8.5 and MathClasses, Vadim Zaliva, 05/07/2015
        
        Re: [Coq-Club] 8.5 and MathClasses, Guillaume Claret, 05/07/2015
        
        Re: [Coq-Club] 8.5 and MathClasses, Vadim Zaliva, 05/11/2015
        
        Re: [Coq-Club] 8.5 and MathClasses, Vadim Zaliva, 05/11/2015
        Re: [Coq-Club] 8.5 and MathClasses, Vadim Zaliva, 05/12/2015
        Re: [Coq-Club] 8.5 and MathClasses, Matthieu Sozeau, 05/12/2015