coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2016/07
121 mails
Chronological Thread << < page # 2/5 > >>
- 16/07/06
- [Coq-Club] "Conversion raised an anomaly", Beta Ziliani
- Re: [Coq-Club] "Conversion raised an anomaly", Matthieu Sozeau
- [Coq-Club] ocaml on recent synology, Michel Levy
- [Coq-Club] Christopher Strachey centenary announcement, Troy Astarte (PGR)
- RE: [Coq-Club] ocaml on recent synology, Soegtrop, Michael
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent
- [Coq-Club] Ltac way to detect symbol definedness (was Re: decide equality on more types), Jonathan Leivent
- 16/07/07
- Re: [Coq-Club] "Conversion raised an anomaly", Beta Ziliani
- [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
- [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
- 16/07/08
- [Coq-Club] PhD or Postdoc in Semantics Engineering in Language Designer's Workbench project at TU Delft, Eelco Visser
- Re: [Coq-Club] decide equality on more types, Matthieu Sozeau
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent
- 16/07/11
- [Coq-Club] JFLA 2017 : premier appel à communications, Frédéric Loulergue
- [Coq-Club] Using ltac:(admit) to define terms., Arthur Azevedo de Amorim
- Re: [Coq-Club] Using ltac:(admit) to define terms., Jonathan Leivent
- Re: [Coq-Club] Using ltac:(admit) to define terms., Jonathan Leivent
- [Coq-Club] Coq 8.5pl2, Maxime Dénès
- 16/07/13
- [Coq-Club] Verified Functional Algorithms, beta release, Andrew W. Appel
- 16/07/14
- [Coq-Club] [beque] project announcement, Ade Umut Huxtable
- Re: [Coq-Club] help with excluded middle at point vs. all, Hugo Carvalho
- Re: [Coq-Club] help with excluded middle at point vs. all, Arnaud Spiwack
- 16/07/15
- Re: [Coq-Club] help with excluded middle at point vs. all, Hugo Carvalho
- Re: [Coq-Club] coq-inferior or inferior-coq?, Clément Pit--Claudel
- 16/07/17
- [Coq-Club] Function problem when executing Defined, sorin stratulat
- 16/07/18
- [Coq-Club] Difference between dot and semicolon in a proof, mukesh tiwari
- Re: [Coq-Club] Difference between dot and semicolon in a proof, Jonathan Leivent
- Re: [Coq-Club] Function problem when executing Defined, Yves Bertot
Archive powered by MHonArc 2.6.18.