Subject: Ssreflect Users Discussion List
List archive
- 11/06/08
- Conversion coq_nat ssr_nat, Allyx FONTAINE
- Re: Conversion coq_nat ssr_nat, Reynald Affeldt
- Re: Conversion coq_nat ssr_nat, Vincent Siles
- Re: Conversion coq_nat ssr_nat, Assia Mahboubi
- Re: Conversion coq_nat ssr_nat, Allyx FONTAINE
- 11/06/09
- Extraction problem., kik314+ml
- 11/06/10
- RE: Extraction problem., Georges Gonthier
- Re: RE: Extraction problem., kik314+ml
- 11/06/13
- how to describe some of the choices made for ssreflect for a "not used to coq" reviewer ?, Vincent Siles
- RE: how to describe some of the choices made for ssreflect for a "not used to coq" reviewer ?, Georges Gonthier
- Installation error, Evgeny Makarov
- Re: Installation error, Enrico Tassi
- Re: Installation error, Evgeny Makarov
- Re: Installation error, Enrico Tassi
- Re: Installation error, Maxime Dénès
- 11/06/14
- Re: Installation error, Evgeny Makarov
- continuity with respect to \big, Vladimir Komendantsky
- RE: continuity with respect to \big, Georges Gonthier
- 11/06/15
- 11/06/16
- x \in coset A x, roconnor
- RE: x \in coset A x, Georges Gonthier
- 11/06/17
- ssr 1.2 vs ssr 1.3, Jean-Jacques Levy
- RE: ssr 1.2 vs ssr 1.3, Georges Gonthier
- Re: ssr 1.2 vs ssr 1.3, Enrico Tassi
- Dependent type error raised when rewriting transitivity lemmas, Erik Martin-Dorel
- 11/06/20
- big_trivIset, roconnor
- Disjoint Cosets (was: big_trivIset), roconnor
- 11/06/21
- Re: Disjoint Cosets (was: big_trivIset), roconnor
- Re: Disjoint Cosets (was: big_trivIset), Enrico Tassi
Archive powered by MHonArc 2.6.18.