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