List archive

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

Archive powered by MHonArc 2.6.18.