List archive

• [Coq-Club] A question about Gonthier's Four Colour Theorem proof, neva.slani, 05/18/2012
• [Coq-Club] FSFLA 2012: 1st announcement, GRLMC, 05/19/2012
• [Coq-Club] Mutual induction with list, S3, 05/20/2012
  • Re: [Coq-Club] Mutual induction with list, Adam Chlipala, 05/20/2012
    • Re: [Coq-Club] Mutual induction with list, S3, 05/20/2012
      • Re: [Coq-Club] Mutual induction with list, S3, 05/21/2012
    • Re: [Coq-Club] Mutual induction with list, Frédéric Besson, 05/21/2012
• [Coq-Club] CICM 2012: Call for participation, Johan Jeuring, 05/21/2012
• [Coq-Club] A smarter "induction;econstructor" combo?, Francois Pottier, 05/21/2012
  • Re: [Coq-Club] A smarter "induction;econstructor" combo?, Viktor Vafeiadis, 05/21/2012
  • Message not available
    • Re: [Coq-Club] A smarter "induction;econstructor" combo?, Francois Pottier, 05/22/2012
      • Re: [Coq-Club] A smarter "induction;econstructor" combo?, Paolo Herms, 05/22/2012
      • Re: [Coq-Club] A smarter "induction;econstructor" combo?, AUGER Cédric, 05/22/2012
      • Re: [Coq-Club] A smarter "induction;econstructor" combo?, Pierre Courtieu, 05/23/2012
      • Re: [Coq-Club] A smarter "induction;econstructor" combo?, Paolo Herms, 05/23/2012
• [Coq-Club] Web-based proof-by-pointing frontend to Coq, Edward Z. Yang, 05/22/2012
• [Coq-Club] Japanese translation of Software Foundations, Benjamin C. Pierce, 05/22/2012
• [Coq-Club] MPC2012 Call for Participation, Jeremy . Gibbons, 05/23/2012
• [Coq-Club] second beta release of Coq 8.4, Pierre Letouzey, 05/23/2012
• [Coq-Club] Trouble with a recursive definition, Kenneth Roe, 05/24/2012
  • Re: [Coq-Club] Trouble with a recursive definition, Robbert Krebbers, 05/24/2012
    • RE: [Coq-Club] Trouble with a recursive definition, Kenneth Roe, 05/29/2012
• [Coq-Club] Navigation commands forbidden in nested commands, Gregory Malecha, 05/25/2012
  • Re: [Coq-Club] Navigation commands forbidden in nested commands, Pierre Letouzey, 05/25/2012
    • Re: [Coq-Club] Navigation commands forbidden in nested commands, Gregory Malecha, 05/25/2012
      • Re: [Coq-Club] Navigation commands forbidden in nested commands, Pierre Courtieu, 05/26/2012
• [Coq-Club] Last call for proposals: The 4th Coq Workshop, Adam Chlipala, 05/26/2012
• [Coq-Club] How to remove "Coq <" from coq-tex's output, Jianzhou Zhao, 05/26/2012
  • Re: [Coq-Club] How to remove "Coq <" from coq-tex's output, Arnaud Spiwack, 05/28/2012
    • Re: [Coq-Club] How to remove "Coq <" from coq-tex's output, Jianzhou Zhao, 05/29/2012

Archive powered by MHonArc 2.6.18.