Subject: Ssreflect Users Discussion List
List archive
- 11/06/21
- defining an executable version of rank, Vincent Siles
- RE: defining an executable version of rank, Georges Gonthier
- Re: defining an executable version of rank, Vincent Siles
- RE: defining an executable version of rank, Georges Gonthier
- RE: Dependent type error raised when rewriting transitivity lemmas, Georges Gonthier
- 11/06/22
- Re: Dependent type error raised when rewriting transitivity lemmas, Enrico Tassi
- Re: Dependent type error raised when rewriting transitivity lemmas, Erik Martin-Dorel
- 11/06/23
- lift and filter, roconnor
- 11/06/27
- how to debug hidden implicits, Vincent Siles
- Re: how to debug hidden implicits, Maxime Dénès
- RE: how to debug hidden implicits, Georges Gonthier
Archive powered by MHonArc 2.6.18.