List archive

• Re: [Coq-Club] coqdoc : escape # in escaped html, (continued)
  • Re: [Coq-Club] coqdoc : escape # in escaped html, Abhishek Anand, 10/15/2015
• [Coq-Club] CoqPL 2016 -- Call for presentations, Arthur Charguéraud, 10/15/2015
• [Coq-Club] Will such library be necessary/useful? (Graph theory), Ilmārs Cīrulis, 10/15/2015
  • Re: [Coq-Club] Will such library be necessary/useful? (Graph theory), Gabriel Scherer, 10/15/2015
• [Coq-Club] LPAR-20 in Fiji - Registration is open, Geoff Sutcliffe, 10/15/2015
• [Coq-Club] hint cost vs. order, Jonathan Leivent, 10/16/2015
  • Re: [Coq-Club] hint cost vs. order, Jason Gross, 10/16/2015
    • Re: [Coq-Club] hint cost vs. order, Jonathan Leivent, 10/16/2015
      • Re: [Coq-Club] hint cost vs. order, Jason Gross, 10/16/2015
      • Re: [Coq-Club] hint cost vs. order, Jonathan Leivent, 10/16/2015
  • [Coq-Club] auto performance vs. match (was: hint cost vs. order), Jonathan Leivent, 10/20/2015
• [Coq-Club] Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016, Chris Kapulkin, 10/16/2015
• [Coq-Club] LATA 2016: submission deadline extended, GRLMC, 10/17/2015
• [Coq-Club] 5 Yr Research position, Neil Ghani, 10/18/2015
• [Coq-Club] [JFLA'16] 2ème appel à communications, Jean-Marie Madiot, 10/19/2015
• [Coq-Club] post-doc for CertiCoq project, Greg Morrisett, 10/20/2015
• [Coq-Club] mysterious evar unification failure after subst, Jonathan Leivent, 10/21/2015
  • Re: [Coq-Club] mysterious evar unification failure after subst, Jonathan Leivent, 10/21/2015
    • Re: [Coq-Club] mysterious evar unification failure after subst, Beta Ziliani, 10/21/2015
  • Re: [Coq-Club] mysterious evar unification failure after subst, Hugo Herbelin, 10/21/2015
• [Coq-Club] Making tactic that return a value, Julien Tesson, 10/21/2015
  • Re: [Coq-Club] Making tactic that return a value, Pierre Courtieu, 10/21/2015
  • Re: [Coq-Club] Making tactic that return a value, Jacques-Henri Jourdan, 10/21/2015
• [Coq-Club] TAP (Tests and Proofs) 2016, call for papers, Jasmin Blanchette, 10/22/2015
• [Coq-Club] [JFLA'16] Deadline Extension, Jean-Marie Madiot, 10/23/2015
• [Coq-Club] ICFP 2016 Call for Workshop and Co-located Event Proposals, Lindsey Kuper, 10/24/2015
• [Coq-Club] How should I deal systematically with evars which are functions?, Jason Gross, 10/25/2015
• [Coq-Club] Why might the reference y not be found in the current environment when it appears in the list of hypotheses?, Jason Gross, 10/25/2015
  • Re: [Coq-Club] Why might the reference y not be found in the current environment when it appears in the list of hypotheses?, Matthieu Sozeau, 10/25/2015
• [Coq-Club] Inferring a trivial dependency out of no dependency, Yannick, 10/27/2015

Archive powered by MHonArc 2.6.18.