List archive

• 14/04/01
  • [ssreflect] A proof that there an infinity of prime numbers, bertot
  • Re: [ssreflect] A proof that there an infinity of prime numbers, Laurent Théry
  • Re: [ssreflect] A proof that there an infinity of prime numbers, Kazuhiko Sakaguchi
  • RE: [ssreflect] A proof that there an infinity of prime numbers, Georges Gonthier
• 14/04/02
  • [ssreflect] Specializing assumptions with unknowns, Beta Ziliani
  • Re: [ssreflect] Specializing assumptions with unknowns, Enrico Tassi
  • Re: [ssreflect] Specializing assumptions with unknowns, Georges Gonthier
• 14/04/03
  • Re: [ssreflect] Specializing assumptions with unknowns, Enrico Tassi
  • Re: [ssreflect] Specializing assumptions with unknowns, Pierre-Yves Strub
  • Re: [ssreflect] Specializing assumptions with unknowns, Enrico Tassi
• 14/04/07
  • Test migration, Valerie Ouarnier
• 14/04/09
  • LFMTP 2014: 2nd Call for Papers, Amy Felty
• 14/04/15
  • "==" and "=", Marcus Ramos
  • Re: "==" and "=", bertot
  • Re: "==" and "=", Laurent Théry
  • Re: "==" and "=", Guillaume Cano
  • Re: "==" and "=", Enrico Tassi
• 14/04/16
  • multivariate polynomials, bertot
  • Re: multivariate polynomials, Pierre-Yves Strub
  • Re: multivariate polynomials, Pierre-Yves Strub
  • Re: multivariate polynomials, Laurent Théry
  • Re: "==" and "=", Marcus Ramos
  • Re: multivariate polynomials, Cyril Cohen
• 14/04/17
  • ssreflect 1.5: regression in apply?, Ralf Jung
  • Re: ssreflect 1.5: regression in apply?, Enrico Tassi
  • Re: ssreflect 1.5: regression in apply?, Maxime Dénès
• 14/04/19
  • Re: ssreflect 1.5: regression in apply?, Ralf Jung
  • rewrite and instantiation of existentials: Qed fails, Ralf Jung
  • Re: ssreflect 1.5: regression in apply?, Ralf Jung
  • Re: ssreflect 1.5: regression in apply?, Enrico Tassi

Archive powered by MHonArc 2.6.18.