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
2017/03
121 mails
Chronological Thread << < page # 3/5 > >>
- Re: [Coq-Club] Both annoying things in one place, (continued)
- Re: [Coq-Club] Both annoying things in one place, Ilmārs Cīrulis, 03/13/2017
- Re: [Coq-Club] Both annoying things in one place, Gaetan Gilbert, 03/13/2017
- Re: [Coq-Club] Both annoying things in one place, Ilmārs Cīrulis, 03/13/2017
- [Coq-Club] Ackermann Award 2017, European Association of Computer Science Logic, 03/13/2017
- [Coq-Club] Cumulatively of Universes, Gregory Malecha, 03/13/2017
- Re: [Coq-Club] Cumulatively of Universes, Frédéric Blanqui, 03/13/2017
- Re: [Coq-Club] Cumulatively of Universes, Bas Spitters, 03/13/2017
- Re: [Coq-Club] Cumulatively of Universes, Matthieu Sozeau, 03/13/2017
- Re: [Coq-Club] Cumulatively of Universes, Gregory Malecha, 03/13/2017
- Re: [Coq-Club] Cumulatively of Universes, Jason Gross, 03/13/2017
- Re: [Coq-Club] Cumulatively of Universes, Bas Spitters, 03/13/2017
- Re: [Coq-Club] Cumulatively of Universes, Frédéric Blanqui, 03/13/2017
- [Coq-Club] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday, CIE2017, 03/13/2017
- Re: [Coq-Club] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday, Robert Merkin, 03/15/2017
- [Coq-Club] TYPES 2017 submission deadline extended, Ambrus Kaposi, 03/13/2017
- [Coq-Club] Tactics to manipulate real arithmetic (w/o solving), Valentin Robert, 03/14/2017
- Re: [Coq-Club] Tactics to manipulate real arithmetic (w/o solving), Guillaume Melquiond, 03/14/2017
- Re: [Coq-Club] Tactics to manipulate real arithmetic (w/o solving), Laurent Thery, 03/15/2017
- [Coq-Club] ITP and FroCoS - Final CFP, Geoff Sutcliffe, 03/15/2017
- [Coq-Club] Are there any tools that implement the refinement rules in the book "programming from specification"?, 周晓宇, 03/16/2017
- [Coq-Club] Mixing [Program Definition] and some [Monad] type leads to impossible [Obligation], Valentin Robert, 03/16/2017
- Re: [Coq-Club] Mixing [Program Definition] and some [Monad] type leads to impossible [Obligation], Matthieu Sozeau, 03/21/2017
- [Coq-Club] VST 2.5x faster under Coq 8.6, Andrew Appel, 03/17/2017
- [Coq-Club] [iFM'17] Final CFP for the International Conference on integrated Formal Methods 2017, Ingrid Chieh Yu, 03/17/2017
- [Coq-Club] Call for Participation: RAMiCS, May 15-18, Lyon, France, Damien Pous, 03/20/2017
- [Coq-Club] CoC vs Cic vs pCiC, Brian Milnes, 03/20/2017
- Re: [Coq-Club] CoC vs Cic vs pCiC, Frédéric Blanqui, 03/21/2017
- Re: [Coq-Club] CoC vs Cic vs pCiC, Brian Milnes, 03/21/2017
- Re: [Coq-Club] CoC vs Cic vs pCiC, Frédéric Blanqui, 03/21/2017
- [Coq-Club] IWIL workshop at LPAR-21 in Botswana, Geoff Sutcliffe, 03/20/2017
- [Coq-Club] PhD positions in Computational Linguistics, stergios chatzikyriakidis, 03/21/2017
- [Coq-Club] Universe graph: distinguishing < from <= in .dot, Beta Ziliani, 03/21/2017
- [Coq-Club] Any proof assistant for Observational Type Theory?, Ilmārs Cīrulis, 03/21/2017
Archive powered by MHonArc 2.6.18.