List archive

• Conflicting vector file, Beta Ziliani, 10/10/2012
  • Re: Conflicting vector file, Laurent Théry, 10/10/2012
    • Re: Conflicting vector file, Beta Ziliani, 10/10/2012
      • Re: Conflicting vector file, Laurent Théry, 10/10/2012
• Putting ssreflect on github, Andrej Bauer, 10/10/2012
  • Re: Putting ssreflect on github, Enrico Tassi, 10/10/2012
    • Re: Putting ssreflect on github, Andrej Bauer, 10/10/2012
      • Re: Putting ssreflect on github, Enrico Tassi, 10/10/2012
      • Re: Putting ssreflect on github, Andrej Bauer, 10/10/2012
      • Re: Putting ssreflect on github, Enrico Tassi, 10/10/2012
      • Re: Putting ssreflect on github, Andrej Bauer, 10/10/2012
      • Re: Putting ssreflect on github, Assia Mahboubi, 10/10/2012
      • RE: Putting ssreflect on github, Georges Gonthier, 10/10/2012
      • Re: Putting ssreflect on github, Andrej Bauer, 10/10/2012
      • Re: Putting ssreflect on github, Bas Spitters, 10/10/2012
      • Re: Putting ssreflect on github, Enrico Tassi, 10/10/2012
  • Re: Putting ssreflect on github, Cyril Cohen, 10/10/2012
    • Re: Putting ssreflect on github, Andrej Bauer, 10/10/2012
      • Re: Putting ssreflect on github, Enrico Tassi, 10/10/2012
      • Re: Putting ssreflect on github, Cyril Cohen, 10/10/2012
• A proof of the Feit Thompson theorem in Coq, Assia Mahboubi, 10/13/2012

Archive powered by MHonArc 2.6.18.