List archive

• Re: [Coq-Club] Agda-like notation for dependent function types, (continued)
  • Re: [Coq-Club] Agda-like notation for dependent function types, Pierre-Marie Pédrot, 12/22/2014
    • Re: [Coq-Club] Agda-like notation for dependent function types, Jason Gross, 12/22/2014
      • Re: [Coq-Club] Agda-like notation for dependent function types, Pierre-Marie Pédrot, 12/22/2014
• [Coq-Club] PhD studentship on dependent type theory for concurrent processes, Martin Berger, 12/22/2014
• [Coq-Club] Academic Vacancies - CS Dept - University of Cyprus, Announce Announcements, 12/22/2014
• Re: [Coq-Club] What tactic can be used to prove 'forall' to '~ exists'?, plastyx, 12/22/2014
• [Coq-Club] AlCoB 2015: 2nd call for papers, GRLMC, 12/24/2014
• [Coq-Club] custom induction principle for decidable equality, Kirill Taran, 12/24/2014
• [Coq-Club] Using the [cut] tactic in hypothesis, CHAUVIN Barnabe, 12/24/2014
  • Re: [Coq-Club] Using the [cut] tactic in hypothesis, Abhishek Anand, 12/25/2014
    • Re: [Coq-Club] Using the [cut] tactic in hypothesis, Jonathan Leivent, 12/25/2014
    • Re: [Coq-Club] Using the [cut] tactic in hypothesis, CHAUVIN Barnabe, 12/28/2014
      • Re: [Coq-Club] Using the [cut] tactic in hypothesis, Frédéric Besson, 12/28/2014
• [Coq-Club] ACSIJ Journal Call for Papers January 2015, no-reply, 12/25/2014
• [Coq-Club] How to use Notations inside of Modules?, Chris Dams, 12/25/2014
  • RE: [Coq-Club] How to use Notations inside of Modules?, Perce Strop, 12/25/2014
    • Re: [Coq-Club] How to use Notations inside of Modules?, Chris Dams, 12/28/2014
      • RE: [Coq-Club] How to use Notations inside of Modules?, Perce Strop, 12/28/2014
      • Re: [Coq-Club] How to use Notations inside of Modules?, Chris Dams, 12/29/2014
• [Coq-Club] How can I use [Program Fixpoint] for mutual fixpoints?, Jason Gross, 12/26/2014
  • Re: [Coq-Club] How can I use [Program Fixpoint] for mutual fixpoints?, Matthieu Sozeau, 12/26/2014
• [Coq-Club] FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods, Oslo), Martin Steffen, 12/28/2014
• [Coq-Club] ISCC 2015: Third Call for Papers, Announce Announcements, 12/28/2014
• [Coq-Club] type coercions, Vadim Zaliva, 12/30/2014
  • Re: [Coq-Club] type coercions, Guillaume Melquiond, 12/30/2014
    • Re: [Coq-Club] type coercions, Cedric Auger, 12/30/2014
• [Coq-Club] Anomaly: Signature and its instance do not match, Vadim Zaliva, 12/31/2014
  • Re: [Coq-Club] Anomaly: Signature and its instance do not match, Pierre Letouzey, 12/31/2014
  • Re: [Coq-Club] Anomaly: Signature and its instance do not match, Jason Gross, 12/31/2014
    • Re: [Coq-Club] Anomaly: Signature and its instance do not match, Vadim Zaliva, 12/31/2014

Archive powered by MHonArc 2.6.18.