List archive

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

Archive powered by MHonArc 2.6.18.