coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] math-classes and Coq 8.5

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] math-classes and Coq 8.5
Date: Tue, 1 Mar 2016 12:02:44 -0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vadim.zaliva AT west.cmu.edu; spf=None smtp.mailfrom=vadim.zaliva AT west.cmu.edu; spf=None smtp.helo=postmaster AT mail-wm0-f41.google.com
Ironport-phdr: 9a23:WGDiVhZ+rHDTDs/PPe2zF5v/LSx+4OfEezUN459isYplN5qZpc+5bnLW6fgltlLVR4KTs6sC0LqJ9f+4EjVasN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDtvcKLKFwS1XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrtBST8iLmod5cvxtBCFQxHcyGEbVzAomxZJBkD35RX7QJ655jXov+58xiCyNsjrC704RGLxvO9QVBb0hXJfZHYC+2bNh5kogQ==

I am wondering if anybody is working on porting math-classes to coq-8.5. I recall Abhishek ported the parts he needs. Perhaps other people also worked on this and we can combine our efforts. I am not up to the tasks myself, but I can try to assist in any way I could.

Vadim

CMU ECE PhD candidate

Mobile: +1(510)220-1060

Skype: vzaliva

[Coq-Club] math-classes and Coq 8.5, Vadim Zaliva, 03/01/2016
- Re: [Coq-Club] math-classes and Coq 8.5, Beta Ziliani, 03/01/2016
- Re: [Coq-Club] math-classes and Coq 8.5, Abhishek Anand, 03/01/2016
  - Re: [Coq-Club] math-classes and Coq 8.5, Vadim Zaliva, 03/01/2016