List archive

• 17/10/04
  • [ssreflect] CoqPL 2018: Call for Presentations, Sergey, Ilya
• 17/10/12
  • [ssreflect] Empty type, Arthur Azevedo de Amorim
  • [ssreflect] Docker image of the odd order theorem., Yves Bertot
  • Re: [ssreflect] Empty type, Maxime Dénès
  • Re: [ssreflect] Empty type, Christian Doczkal
  • Re: [ssreflect] Empty type, Pierre-Yves Strub
  • Re: [ssreflect] Empty type, Arthur Azevedo de Amorim
• 17/10/16
  • [ssreflect] CFP: ITP 2018, Jeremy Avigad
  • [ssreflect] CoqPL'18 CFP: Deadline Extended till 20 October, Sergey, Ilya

Archive powered by MHonArc 2.6.18.