List archive

• Re: [Coq-Club] Command line flags for warnings, (continued)
  • Re: [Coq-Club] Command line flags for warnings, Théo Zimmermann, 11/09/2017
• Re: [Coq-Club] Transitioning away from Bugzilla (on Oct 18th), Théo Zimmermann, 11/05/2017
• [Coq-Club] IJCAR 2018 - Call for Papers, geoff, 11/06/2017
• [Coq-Club] Declaring a new axiom through ML tactic, 吉川 将司, 11/06/2017
• [Coq-Club] MathComp 1.6.4 released, Cyril, 11/07/2017
• [Coq-Club] Difference between first and second order logic (when predicates are lambda terms), Marco Servetto, 11/07/2017
  • Re: [Coq-Club] Difference between first and second order logic (when predicates are lambda terms), Valentin Blot, 11/07/2017
• [Coq-Club] Preannouncement: Second DeepSpec Summer School, Lennart Beringer, 11/08/2017
• [Coq-Club] Variable scope creep?, Joachim Breitner, 11/09/2017
  • Re: [Coq-Club] Variable scope creep?, Yao Li, 11/10/2017
    • Re: [Coq-Club] Variable scope creep?, Joachim Breitner, 11/11/2017
      • Re: [Coq-Club] Variable scope creep?, Gaëtan Gilbert, 11/11/2017
• [Coq-Club] Trying to build Ynot under Coq 8.6.1, Christoph-Simon Senjak, 11/09/2017
  • Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Adam Chlipala, 11/09/2017
    • Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Matthieu Sozeau, 11/09/2017
      • Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Ralf Jung, 11/09/2017
      • Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Aleksandar Nanevski, 11/09/2017
• [Coq-Club] Map facts and properties, Arthur Azevedo de Amorim, 11/10/2017
• [Coq-Club] what does "Bound to class nat" mean?, Matej Košík, 11/12/2017
  • Re: [Coq-Club] what does "Bound to class nat" mean?, Ralf Jung, 11/12/2017
    • Re: [Coq-Club] what does "Bound to class nat" mean?, Hugo Herbelin, 11/15/2017
• [Coq-Club] Potential Code Bloat with Extraction, Helmut Brandl, 11/12/2017
• [Coq-Club] Obtaining the term matched by "context", Samuel Gruetter, 11/13/2017
  • Re: [Coq-Club] Obtaining the term matched by "context", Pierre Courtieu, 11/13/2017
    • Re: [Coq-Club] Obtaining the term matched by "context", Samuel Gruetter, 11/14/2017
• [Coq-Club] CfP: SEFM 2018, Einar Broch Johnsen, 11/13/2017
• [Coq-Club] DCM'18 First Call for Papers, Sandra Alves, 11/14/2017
• [Coq-Club] Logical Frameworks and Meta-Languages 2018 - Call for Papers, geoff, 11/14/2017
• [Coq-Club] Postdoc Positions at The University of Pennsylvania, Steve Zdancewic, 11/14/2017
  • Re: [Coq-Club] Postdoc Positions at The University of Pennsylvania, Kenneth Roe, 11/18/2017

Archive powered by MHonArc 2.6.18.