ssreflect - Ssreflect Users Discussion List

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