List archive

• 11/02/02
  • recursive types, Vladimir Komendantsky
  • equality of dependent pairs, ruy . leywild
• 11/02/15
  • matrix to seq, Vladimir Komendantsky
  • RE: matrix to seq, Georges Gonthier
• 11/02/17
  • Re: matrix to seq, Vladimir Komendantsky
  • RE: matrix to seq, Georges Gonthier
• 11/02/18
  • current ssreflect, Vladimir Komendantsky
• 11/02/22
  • Ssreflect with Coq 8.3, Stéphane Glondu
  • RE: [coqdev] Ssreflect with Coq 8.3, Georges Gonthier
  • Re: [coqdev] Ssreflect with Coq 8.3, Stéphane Glondu
• 11/02/24
  • issue with nested fixpoint and nosimpl, Vincent Siles
• 11/02/25
  • RE: issue with nested fixpoint and nosimpl, Georges Gonthier

Archive powered by MHonArc 2.6.18.