List archive

• Re: [Coq-Club] decide equality on more types, (continued)
  • Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/05/2016
    • Re: [Coq-Club] decide equality on more types, Jason Gross, 07/05/2016
    • Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/06/2016
    • [Coq-Club] Ltac way to detect symbol definedness (was Re: decide equality on more types), Jonathan Leivent, 07/06/2016
    • Re: [Coq-Club] decide equality on more types, Matthieu Sozeau, 07/08/2016
    • Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/08/2016
    • Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/08/2016
    • Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/08/2016
• [Coq-Club] 2nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages), publicityifl, 07/05/2016
• [Coq-Club] "Conversion raised an anomaly", Beta Ziliani, 07/06/2016
  • Re: [Coq-Club] "Conversion raised an anomaly", Matthieu Sozeau, 07/06/2016
    • Re: [Coq-Club] "Conversion raised an anomaly", Beta Ziliani, 07/07/2016
• [Coq-Club] ocaml on recent synology, Michel Levy, 07/06/2016
  • RE: [Coq-Club] ocaml on recent synology, Soegtrop, Michael, 07/06/2016
• [Coq-Club] Christopher Strachey centenary announcement, Troy Astarte (PGR), 07/06/2016
• [Coq-Club] [Part I] Corrections of and amendments to prior publications on Goedel's First Incompleteness Theorem; Russell O'Connor's definitions for its proof in Peter B. Andrews' logic Q0; Comparison of the proofs by O'Connor and Paulson, Ken Kubota, 07/07/2016
• [Coq-Club] [Part II] Corrections of and amendments to prior publications on Goedel's First Incompleteness Theorem; Russell O'Connor's definitions for its proof in Peter B. Andrews' logic Q0; Comparison of the proofs by O'Connor and Paulson, Ken Kubota, 07/07/2016
• [Coq-Club] PhD or Postdoc in Semantics Engineering in Language Designer's Workbench project at TU Delft, Eelco Visser, 07/08/2016
• [Coq-Club] JFLA 2017 : premier appel à communications, Frédéric Loulergue, 07/11/2016
• [Coq-Club] Using ltac:(admit) to define terms., Arthur Azevedo de Amorim, 07/11/2016
  • Re: [Coq-Club] Using ltac:(admit) to define terms., Jonathan Leivent, 07/11/2016
    • Re: [Coq-Club] Using ltac:(admit) to define terms., Jonathan Leivent, 07/11/2016
• [Coq-Club] Coq 8.5pl2, Maxime Dénès, 07/11/2016
• [Coq-Club] Verified Functional Algorithms, beta release, Andrew W. Appel, 07/13/2016
  • Re: [Coq-Club] Verified Functional Algorithms, beta release, Satrajit Roy, 07/23/2016
    • Re: [Coq-Club] Verified Functional Algorithms, beta release, Andrew Appel, 07/24/2016
    • Re: [Coq-Club] Verified Functional Algorithms, beta release, mukesh tiwari, 07/25/2016
• [Coq-Club] [beque] project announcement, Ade Umut Huxtable, 07/14/2016
• Re: [Coq-Club] coq-inferior or inferior-coq?, Clément Pit--Claudel, 07/15/2016
• [Coq-Club] Function problem when executing Defined, sorin stratulat, 07/17/2016

Archive powered by MHonArc 2.6.18.