List archive

• [ssreflect] Naming of theorems, bertot, 06/01/2015
  • Re: [ssreflect] Naming of theorems, Cyril Cohen, 06/01/2015
• [ssreflect] Certified Programs and Proofs (CPP 2016), Jeremy Avigad, 06/10/2015
• [ssreflect] [Cfp] Coq Workshop, Sophia Antipolis, June 26, Program and call for participation, bertot, 06/10/2015
• [ssreflect] Why is "<" a notation?, Michael Shulman, 06/22/2015
  • Re: [ssreflect] Why is "<" a notation?, Assia Mahboubi, 06/23/2015
  • Message not available
    • Re: [ssreflect] Why is "<" a notation?, Michael Shulman, 06/29/2015
• [ssreflect] "Require Import ssreflect." does not work with Coq 8.5-beta2?, Christian Doczkal, 06/26/2015
  • Re: [ssreflect] "Require Import ssreflect." does not work with Coq 8.5-beta2?, Guillaume Melquiond, 06/26/2015
• [ssreflect] test, Assia Mahboubi, 06/30/2015

Archive powered by MHonArc 2.6.18.