ssreflect - Ssreflect Users Discussion List

Subject: Ssreflect Users Discussion List

List archive

2009/06 16 mails

<< < page # 1/1 > >>

Automatic proofs of is_true, Arthur Azevedo de Amorim, 06/16/2009
- RE: Automatic proofs of is_true, Georges Gonthier, 06/16/2009
[Fwd: Re: Automatic proofs of is_true], Laurence Rideau, 06/16/2009
- Re: [Fwd: Re: Automatic proofs of is_true], Arthur Azevedo de Amorim, 06/16/2009
  - RE: [Fwd: Re: Automatic proofs of is_true], Georges Gonthier, 06/17/2009
    - Re: [Fwd: Re: Automatic proofs of is_true], Arthur Azevedo de Amorim, 06/17/2009
    - RE: [Fwd: Re: Automatic proofs of is_true], Georges Gonthier, 06/17/2009
    - Re: [Fwd: Re: Automatic proofs of is_true], Arthur Azevedo de Amorim, 06/18/2009
basic facts about matrices, Reynald Affeldt, 06/17/2009
- RE: basic facts about matrices, Georges Gonthier, 06/17/2009
- Re: basic facts about matrices, Sidi Ould Biha, 06/17/2009
finite types, Aleks Nanevski, 06/18/2009
- RE: finite types, Georges Gonthier, 06/18/2009
Computational finite sets over an eqType, Chantal KELLER, 06/24/2009
- Re: Computational finite sets over an eqType, Chantal KELLER, 06/24/2009
- RE: Computational finite sets over an eqType, Georges Gonthier, 06/24/2009