List archive

• 11/05/02
  • Failure with ssr 1.3pl1, Vincent Siles
• 11/05/03
  • Canonical subfield intersections., roconnor
  • RE: Failure with ssr 1.3pl1, Georges Gonthier
  • Re: Failure with ssr 1.3pl1, Vincent Siles
  • Re: Failure with ssr 1.3pl1, Enrico Tassi
• 11/05/04
  • Problem using ssreflect1.3, Jose Grimm
  • RE: Problem using ssreflect1.3, Georges Gonthier
• 11/05/06
  • Specifying an equality to be decidable, Vincent Siles
  • Re: Specifying an equality to be decidable, Guillaume Melquiond
  • RE: Specifying an equality to be decidable, Georges Gonthier
  • Re: Specifying an equality to be decidable, Vincent Siles
  • RE: Specifying an equality to be decidable, Georges Gonthier
• 11/05/09
  • [additive of lin], roconnor
  • Re: [additive of lin], Laurent Théry
  • Re: [additive of lin], roconnor
  • Re: [additive of lin], Laurent Théry
  • Re: [additive of lin], Laurent Théry
  • RE: [additive of lin], Georges Gonthier
• 11/05/10
  • dependant induction and rewrited, Vincent Siles
• 11/05/11
  • Re: dependant induction and rewrited, sidi
  • Re: dependant induction and rewrited, Vincent Siles
  • Re: dependant induction and rewrited, sidi
  • full subalgebra., roconnor
  • Re: full subalgebra., Laurent Théry
  • sequence_tuple, roconnor
  • RE: sequence_tuple, Georges Gonthier
• 11/05/13
  • Proof for Formath: large scale reflexive functions verified with ssreflect, bertot
  • Re: Proof for Formath: large scale reflexive functions verified with ssreflect, Laurent Théry
  • polynomial evaluation morphism., roconnor
  • RE: polynomial evaluation morphism., Georges Gonthier

Archive powered by MHonArc 2.6.18.