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
2015/04
121 mails
Chronological Thread << < page # 3/5 > >>
- 15/04/14
- [Coq-Club] MSet of keys of a FMap, Leonardo Rodriguez
- Re: [Coq-Club] MSet of keys of a FMap, CJ Bell
- [Coq-Club] semiring definition, Vadim Zaliva
- 15/04/15
- Re: [Coq-Club] [ANNOUNCE] Coq Coding Sprint (June 22-25 2015), Pierre Courtieu
- [Coq-Club] 2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015), Michael Winter
- 15/04/16
- [Coq-Club] Call for Votes on Bids to Host ITP-2016, Christian Urban
- 15/04/17
- [Coq-Club] CICM 2015 Doctoral Programme [2nd Call for Applications], Muhammad Umair Siddique
- [Coq-Club] Strathclyde PhD Position, Conor McBride
- [Coq-Club] monadic proof values and constructors, Kevin Sullivan
- Re: [Coq-Club] monadic proof values and constructors, Gregory Malecha
- 15/04/18
- 15/04/21
- [Coq-Club] Last Call: The Coq workshop, deadline April 30th, 2015, bertot
- [Coq-Club] CICM 2015 - Call for Work-in-Progress Papers, Serge Autexier
- [Coq-Club] AI4FM 2015: Call for Short Contributions, Iain Whiteside
- [Coq-Club] Extended deadline: ATVA 2015, 13th International symposium on Automated Technology for Verification and Analysis, David N. Jansen
- 15/04/22
- [Coq-Club] APLAS 2015: Call for Papers (2nd Call), Xinyu Feng
- [Coq-Club] [Second call for participation] Spring School about Proofs of Programs using Coq, Yann Régis-Gianas
- [Coq-Club] Error using "rewrite with" in Coq 8.5beta1 when names clash, Soegtrop, Michael
- Re: [Coq-Club] equality on terms of a dependent type that uses pattern matching, nicolas tabareau
- [Coq-Club] TABLEAUX - Call for Papers, Geoff Sutcliffe
- 15/04/23
- [Coq-Club] Coq 8.5 beta 2, Matthieu Sozeau
- RE: [Coq-Club] Coq 8.5 beta 2, Soegtrop, Michael
- [Coq-Club] LOLA 2015: Deadline extended to May 11, Ulrich Schöpp
- 15/04/24
- [Coq-Club] OCaml Workshop 2015: 2nd CFP, Damien Doligez
- 15/04/25
- 15/04/27
- [Coq-Club] a question about a passage in the Reference Manual about inductive definitions, Matej Kosik
- Re: [Coq-Club] a question about a passage in the Reference Manual about inductive definitions, Cedric Auger
- Re: [Coq-Club] a question about a passage in the Reference Manual about inductive definitions, Théo Zim
- Re: [Coq-Club] a question about a passage in the Reference Manual about inductive definitions, Guillaume Melquiond
- [Coq-Club] forall implication, richard dapoigny
Archive powered by MHonArc 2.6.18.