List archive

• 16/03/02
  • [ssreflect] Contributing to the wiki, Florent Hivert
• 16/03/14
  • [ssreflect] Universe inconsistency with coq 8.5, Florent Hivert
  • Re: [ssreflect] Universe inconsistency with coq 8.5, Florent Hivert
  • RE: [ssreflect] Universe inconsistency with coq 8.5, Georges Gonthier
  • RE: [ssreflect] Universe inconsistency with coq 8.5, Georges Gonthier
  • Re: [ssreflect] Universe inconsistency with coq 8.5, Florent Hivert
  • [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert
  • Re: [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert
  • Re: [ssreflect] ProofGeneral and ssreflect bullets, Emilio Jesús Gallego Arias
• 16/03/15
  • Re: [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert
  • Re: [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert
  • Re: [ssreflect] ProofGeneral and ssreflect bullets, Emilio Jesús Gallego Arias
  • Re: [ssreflect] ProofGeneral and ssreflect bullets, Florent Hivert
• 16/03/26
  • [ssreflect] Induction on fintype/set?, Epiphanie
  • Re: [ssreflect] Induction on fintype/set?, Boris Djalal
  • Re: [ssreflect] Induction on fintype/set?, Boris Djalal
• 16/03/28
  • Re: [ssreflect] Induction on fintype/set?, Emilio Jesús Gallego Arias
  • Re: [ssreflect] Induction on fintype/set?, Emilio Jesús Gallego Arias
• 16/03/30
  • [ssreflect] Singular Value Decomposition, Emilio Jesús Gallego Arias

Archive powered by MHonArc 2.6.18.