List archive

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

Archive powered by MHonArc 2.6.18.