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
2012/06
121 mails
Chronological Thread << < page # 3/5 > >>
- 12/06/14
- [Coq-Club] operator, Patricia Peratto
- Re: [Coq-Club] operator, AUGER Cédric
- [Coq-Club] WRiPE 2012 CFP, Nate Foster
- [Coq-Club] parameters, Patricia Peratto
- Re: [Coq-Club] parameters, Patricia Peratto
- Re: [Coq-Club] parameters, Adam Chlipala
- Re: [Coq-Club] parameters, Stéphane Glondu
- 12/06/15
- Re: [Coq-Club] parameters, Jean-Francois Monin
- [Coq-Club] Termination, Gert Smolka
- [Coq-Club] Appel à communication, JFLA 2013, Damien Pous
- Re: [Coq-Club] Termination, Robbert Krebbers
- Re: [Coq-Club] Termination, Pierre Boutillier
- Re: [Coq-Club] Looking for free documents about ADG (Automated Deduction in Geometry), Julien Narboux
- [Coq-Club] PEPM 2012: Preliminary Call for Papers, scm-ml
- 12/06/17
- 12/06/18
- [Coq-Club] Coq v8.4beta2 plugins for MacOS, Pierre Boutillier
- 12/06/19
- [Coq-Club] Call for Papers: STVR Special Issue on Tests and Proofs, Achim D. Brucker
- Re: [Coq-Club] Termination, Tobias Tebbi
- [Coq-Club] Ltac & open terms, Gregory Malecha
- 12/06/20
- [Coq-Club] Re: Ltac & open terms, Gregory Malecha
- 12/06/22
- 12/06/23
- [Coq-Club] Master in Formal Methods and Software Verification : Call for Student Application, Pierre Casteran
- [Coq-Club] real numbers, Vladimir Voevodsky
- Re: [Coq-Club] real numbers, Jonas Oberhauser
- Re: [Coq-Club] real numbers, Andrej Bauer
- Re: [Coq-Club] real numbers, Freek Wiedijk
- Re: [Coq-Club] real numbers, Andrej Bauer
- Re: [Coq-Club] real numbers, Freek Wiedijk
- Re: [Coq-Club] real numbers, Andrej Bauer
Archive powered by MHonArc 2.6.18.