List archive

• [Coq-Club] Is there a minimal subset of JavaScript, both useful for formal verification and practical enough?, Ilmārs Cīrulis, 05/12/2016
  • Re: [Coq-Club] Is there a minimal subset of JavaScript, both useful for formal verification and practical enough?, Greg Morrisett, 05/12/2016
    • Re: [Coq-Club] Is there a minimal subset of JavaScript, both useful for formal verification and practical enough?, Alan Schmitt, 05/13/2016
      • Re: [Coq-Club] Is there a minimal subset of JavaScript, both useful for formal verification and practical enough?, Ilmārs Cīrulis, 05/16/2016
• [Coq-Club] Declare a morphism in a module type, Jean-Christophe Léchenet, 05/12/2016
• [Coq-Club] Record with notation, Pierre Néron, 05/13/2016
  • Re: [Coq-Club] Record with notation, Gregory Malecha, 05/13/2016
    • Re: [Coq-Club] Record with notation, Pierre Néron, 05/17/2016
      • Re: [Coq-Club] Record with notation, Gregory Malecha, 05/17/2016
• [Coq-Club] LC2016: early registration, Nicola Gambino, 05/13/2016
• Re: [Coq-Club] Easy way to enter Ltac debug mode in PG?, Pierre Courtieu, 05/13/2016
  • Re: [Coq-Club] Easy way to enter Ltac debug mode in PG?, scott constable, 05/17/2016
• [Coq-Club] how to use coqchk in a stand-alone folder?, Jonathan Leivent, 05/13/2016
  • Re: [Coq-Club] how to use coqchk in a stand-alone folder?, Jean-Christophe Léchenet, 05/17/2016
    • Re: [Coq-Club] how to use coqchk in a stand-alone folder?, Jonathan Leivent, 05/17/2016
• [Coq-Club] CoqdocJS: foldable proofs and better Unicode support for Coqdoc, Tobias Tebbi, 05/13/2016
  • Re: [Coq-Club] CoqdocJS: foldable proofs and better Unicode support for Coqdoc, Gabriel Scherer, 05/15/2016
    • Re: [Coq-Club] CoqdocJS: foldable proofs and better Unicode support for Coqdoc, Bas Spitters, 05/15/2016
  • Re: [Coq-Club] CoqdocJS: foldable proofs and better Unicode support for Coqdoc, Clément Pit--Claudel, 05/15/2016
• [Coq-Club] Matching function applications in second-order patterns, James Wilcox, 05/14/2016
  • Re: [Coq-Club] Matching function applications in second-order patterns, Guillaume Melquiond, 05/14/2016
    • Re: [Coq-Club] Matching function applications in second-order patterns, James Wilcox, 05/14/2016
• [Coq-Club] SETTA 2016 CFP -- Deadlines extended, Lijun Zhang, 05/16/2016
• [Coq-Club] IJCAR 2016: WORKSHOPS, ijcar2016, 05/16/2016
• [Coq-Club] feature wish: Supporting redefining(overloading?) of Ltac functions, Zhaohui Li, 05/18/2016
  • Re: [Coq-Club] feature wish: Supporting redefining(overloading?) of Ltac functions, Pierre Courtieu, 05/18/2016
    • Re: [Coq-Club] feature wish: Supporting redefining(overloading?) of Ltac functions, Zhaohui Li, 05/18/2016
• [Coq-Club] SC² first call for papers, Pascal Fontaine, 05/18/2016
• [Coq-Club] Call for papers: SERENE 2016, 5-6th September 2016, Gothenburg, Sweden, Alexander Romanovsky, 05/19/2016
• [Coq-Club] ANN: A Redex model of CIC, William J. Bowman, 05/19/2016

Archive powered by MHonArc 2.6.18.