List archive

• 11/05/16
  • Example of matrix determinant computation proved using math-components, bertot
  • Re: Example of matrix determinant computation proved using math-components, bertot
• 11/05/17
  • bug report: problem with the mix of case and injection in an intro-pattern., bertot
  • Re: bug report: problem with the mix of case and injection in an intro-pattern., Enrico Tassi
  • RE: bug report: problem with the mix of case and injection in an intro-pattern., Georges Gonthier
  • Re: bug report: problem with the mix of case and injection in an intro-pattern., Enrico Tassi
  • RE: bug report: problem with the mix of case and injection in an intro-pattern., Georges Gonthier
  • multiplication by a constant as a rmorphism, roconnor
  • Re: multiplication by a constant as a rmorphism, roconnor
  • Ssreflect and pre-packaged compiled files, bertot
  • Re: bug report: problem with the mix of case and injection in an intro-pattern., Enrico Tassi
• 11/05/19
  • basic question about matrices, Vincent Siles
  • Re: basic question about matrices, Laurent Théry
  • Re: basic question about matrices, Vincent Siles
  • Re: basic question about matrices, Laurent Théry
  • Re: basic question about matrices, Vincent Siles
  • Re: basic question about matrices, Vincent Siles
  • RE: basic question about matrices, Georges Gonthier
  • Re: basic question about matrices, Vincent Siles
  • RE: basic question about matrices, Georges Gonthier
• 11/05/26
  • set and pattern, Laurent Thery
  • RE: set and pattern, Georges Gonthier
  • Re: set and pattern, Enrico Tassi
• 11/05/30
  • rewrite under \big[], Vincent Siles
  • RE: rewrite under \big[], Georges Gonthier
• 11/05/31
  • Re: rewrite under \big[], Vincent Siles

Archive powered by MHonArc 2.6.18.