List archive

• [ssreflect] binomial, Laurent Thery, 09/14/2016
  • Re: [ssreflect] binomial, Yves Bertot, 09/15/2016
    • RE: [ssreflect] binomial, Georges Gonthier, 09/15/2016
• [ssreflect] Partial order extension, Felipe Cerqueira, 09/19/2016
  • [ssreflect] Non-reflexive version of connect, Felipe Cerqueira, 09/27/2016
• [ssreflect] CFP, deadline Oct. 5: The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP'17), Yves Bertot, 09/20/2016
• [ssreflect] CoqPL 2017: Call for Presentations for the Workshop on Coq for Programming Languages, Emilio Jesús Gallego Arias, 09/22/2016
• [ssreflect] Linear algebra on a fintype (instead of 'I_n)., Florent Hivert, 09/28/2016
• [ssreflect] Algebra over an algebra, Florent Hivert, 09/29/2016

Archive powered by MHonArc 2.6.18.