List archive

• 16/01/13
  • [ssreflect] [rewrite foo in hyp] weirdness, Robbert Krebbers
  • Re: [ssreflect] [rewrite foo in hyp] weirdness, Emilio Jesús Gallego Arias
  • Re: [ssreflect] [rewrite foo in hyp] weirdness, Robbert Krebbers
  • RE: [ssreflect] [rewrite foo in hyp] weirdness, Georges Gonthier
  • [ssreflect] card_set, Christian Doczkal
  • Re: [ssreflect] card_set, Maxime Dénès
  • Re: [ssreflect] [rewrite foo in hyp] weirdness, Robbert Krebbers
• 16/01/14
  • Re: [ssreflect] card_set, Christian Doczkal
  • Re: [ssreflect] [rewrite foo in hyp] weirdness, Enrico Tassi
  • Re: [ssreflect] [rewrite foo in hyp] weirdness, Robbert Krebbers
  • Re: [ssreflect] [rewrite foo in hyp] weirdness, Enrico Tassi
  • Re: [ssreflect] [rewrite foo in hyp] weirdness, Robbert Krebbers
  • RE: [ssreflect] [rewrite foo in hyp] weirdness, Georges Gonthier
• 16/01/19
  • RE: [ssreflect] card_set, Georges Gonthier
  • [ssreflect] count of subsequence (different lists), Felipe Cerqueira
  • RE: [ssreflect] count of subsequence (different lists), Georges Gonthier
• 16/01/22
  • [ssreflect] Coq 8.5, Enrico Tassi
• 16/01/28
  • Re: [ssreflect] [Coq-Club] [ANN] Ssreflect/MathComp 1.6 released, Ilya Sergey
• 16/01/29
  • Re: [ssreflect] [Coq-Club] [ANN] Ssreflect/MathComp 1.6 released, Enrico Tassi

Archive powered by MHonArc 2.6.18.