List archive

• Re: [Coq-Club] Equality for inductive type containing list, (continued)
  • Re: [Coq-Club] Equality for inductive type containing list, Pierre-Marie Pédrot, 10/07/2016
  • Re: [Coq-Club] Equality for inductive type containing list, Pierre-Marie Pédrot, 10/07/2016
  • Re: [Coq-Club] Equality for inductive type containing list, Dominique Larchey-Wendling, 10/07/2016
  • Re: [Coq-Club] Equality for inductive type containing list, Andrei Popescu, 10/10/2016
• [Coq-Club] unfold makes goal ill-typed, Marc . Bezem, 10/06/2016
  • Re: [Coq-Club] unfold makes goal ill-typed, Jason Gross, 10/06/2016
• [Coq-Club] Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT, Dan Licata, 10/06/2016
• [Coq-Club] DL 2017, Call for Papers, Geoff Sutcliffe, 10/07/2016
• [Coq-Club] ETAPS 2017 final call for papers, Tarmo Uustalu, 10/08/2016
• [Coq-Club] General reflection-based rewriting, Jannis Limperg, 10/08/2016
  • Re: [Coq-Club] General reflection-based rewriting, Morrisett, 10/08/2016
  • Re: [Coq-Club] General reflection-based rewriting, Stefan Ciobaca, 10/08/2016
    • Re: [Coq-Club] General reflection-based rewriting, Frédéric Blanqui, 10/10/2016
  • Re: [Coq-Club] General reflection-based rewriting, Gregory Malecha, 10/09/2016
    • Re: [Coq-Club] General reflection-based rewriting, Frédéric Blanqui, 10/10/2016
    • Re: [Coq-Club] MirrorCore [was: General reflection-based rewriting], Jannis Limperg, 10/30/2016
• [Coq-Club] Understanding "auto", Klaus Ostermann, 10/09/2016
  • Re: [Coq-Club] Understanding "auto", Adam Chlipala, 10/09/2016
• [Coq-Club] Journal of Functional Programming - Call For PhD Abstracts, Graham Hutton, 10/10/2016
• [Coq-Club] CoqPL 2017: 2nd Call for Presentations for the Workshop on Coq for Programming Languages, Emilio Jesús Gallego Arias, 10/10/2016
• [Coq-Club] References about Machine Learning and the Lebesgue measure, Alexander Bentkamp, 10/11/2016
• Re: [Coq-Club] A tutorial about writing Coq plugins, Christoph-Simon Senjak, 10/12/2016
  • Re: [Coq-Club] A tutorial about writing Coq plugins, mukesh tiwari, 10/12/2016
• Re: [Coq-Club] "Official" Source for native-coq, Christoph-Simon Senjak, 10/12/2016
  • Re: [Coq-Club] "Official" Source for native-coq, Maxime Dénès, 10/12/2016
• Re: [Coq-Club] Digest for list coq-club (1/2), 孙天宇, 10/12/2016
• [Coq-Club] AI Communications: Special Issue on Automated Reasoning, Geoff Sutcliffe, 10/12/2016
• [Coq-Club] Semantics of lazymatch in 8.5, Clément Pit--Claudel, 10/12/2016
  • Re: [Coq-Club] Semantics of lazymatch in 8.5, Jonathan Leivent, 10/12/2016
    • Re: [Coq-Club] Semantics of lazymatch in 8.5, Jason Gross, 10/13/2016

Archive powered by MHonArc 2.6.18.