List archive

• 13/03/23
  • Re: [Coq-Club] eval change, Gregory Malecha
  • Re: [Coq-Club] Oregon Programming Languages Summer School - call for participation, Gabriel Scherer
  • [Coq-Club] SSTiC 2013: 2nd registration deadline 26 March, GRLMC
  • Re: [Coq-Club] Notation for Hoare logic, Benjamin C. Pierce
• 13/03/25
  • Re: [Coq-Club] Class Finite Sets?, Pierre Letouzey
  • Re: [Coq-Club] Class Finite Sets?, Alan Schmitt
• 13/03/26
  • [Coq-Club] Proving that something isn't a tautology, r . h . huijben
  • Re: [Coq-Club] Proving that something isn't a tautology, Daniel Schepler
  • [Coq-Club] Coq development version on Win7, qornotq
  • Re: [Coq-Club] Proving that something isn't a tautology, Dimitri Hendriks
• 13/03/27
  • Re: [Coq-Club] Structural recusrion via minimum, Andreas Abel
  • [Coq-Club] (CFP) Certified Programs and Proofs 2013 - First Call for Papers, Bas Spitters
  • Re: [Coq-Club] Proving that something isn't a tautology, Daniel Schepler
  • [Coq-Club] Printing strings with newlines inside Coq, Andrew Kennedy
  • Re: [Coq-Club] Printing strings with newlines inside Coq, Laurent Théry
  • RE: [Coq-Club] Printing strings with newlines inside Coq, Andrew Kennedy
  • Re: [Coq-Club] Printing strings with newlines inside Coq, Maxime Dénès
  • Re: [Coq-Club] Printing strings with newlines inside Coq, AUGER Cédric
  • [Coq-Club] rewrite dbs, Jason Gross
  • Re: [Coq-Club] Printing strings with newlines inside Coq, AUGER Cédric
• 13/03/28
  • [Coq-Club] Escapes string modules, AUGER Cédric
• 13/03/29
  • [Coq-Club] The 5th Coq Workshop, Assia Mahboubi
  • [Coq-Club] Types Meeting 2013 in Toulouse, 22 - 26 April: 2nd call for participation, Ralph Matthes
• 13/03/30
  • [Coq-Club] ICDIM 2013, conference
  • [Coq-Club] INTECH 2013, intech
• 13/03/31
  • [Coq-Club] Type error on [admit] after [simpl in *]?, Jason Gross

Archive powered by MHonArc 2.6.18.