List archive

• [ssreflect] Interactive Theorem Proving (ITP) 2018: Second CFP, Jeremy Avigad, 12/05/2017
• [ssreflect] Call for bids to host ITP 2019, Jeremy Avigad, 12/05/2017
• [ssreflect] Phantom types and "*_of" aliases, Arthur Azevedo de Amorim, 12/06/2017
  • Re: [ssreflect] Phantom types and "*_of" aliases, Enrico Tassi, 12/07/2017
• [ssreflect] CoqPL'18: call for participations and final programme, Sergey, Ilya, 12/08/2017
• [ssreflect] Coercion int -> rat, Florent Hivert, 12/14/2017
• [ssreflect] Coq 8.6 / Coq 8.7 Ssreflect regression, Florent Hivert, 12/14/2017
  • Re: [ssreflect] Coq 8.6 / Coq 8.7 Ssreflect regression, Enrico Tassi, 12/15/2017
    • Re: [ssreflect] Coq 8.6 / Coq 8.7 Ssreflect regression, Florent Hivert, 12/15/2017
• [ssreflect] Express a sum of reals, Edouard KLEIN, 12/15/2017
  • Re: [ssreflect] Express a sum of reals, Yves Bertot, 12/21/2017
    • Re: [ssreflect] Express a sum of reals, Yves Bertot, 12/21/2017
    • Re: [ssreflect] Express a sum of reals, Cyril, 12/21/2017
• [ssreflect] Postdoc in Logic and Formal Methods at Carnegie Mellon, Jeremy Avigad, 12/15/2017

Archive powered by MHonArc 2.6.18.