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
2013/11
183 mails
Chronological Thread << < page # 5/7 > >>
- [Coq-Club] "Semantics of Proofs and Certified Mathematics", IHP trimester (second call for starting school and workshop registration), Hugo Herbelin, 11/17/2013
- [Coq-Club] Lattice library, Richard Dapoigny, 11/17/2013
- [Coq-Club] Lattices, patrick . barlatier, 11/18/2013
- Re: [Coq-Club] Lattices, Pierre Courtieu, 11/19/2013
- [Coq-Club] Lattice, Patrick . Barlatier, 11/18/2013
- Re: [Coq-Club] Lattice, Bas Spitters, 11/18/2013
- <Possible follow-up(s)>
- [Coq-Club] Lattice, Patrick . Barlatier, 11/18/2013
- [Coq-Club] Universe of Types / Internals, t x, 11/18/2013
- Re: [Coq-Club] Universe of Types / Internals, Cedric Auger, 11/18/2013
- <Possible follow-up(s)>
- Re: [Coq-Club] Universe of Types / Internals, Cristóbal Camarero Coterillo, 11/24/2013
- [Coq-Club] positivity check, Leonardo Rodriguez, 11/18/2013
- Re: [Coq-Club] positivity check, Arnaud Spiwack, 11/18/2013
- [Coq-Club] CFP POPL Workshop on Data-Centric Programming (Extension), Judith Bishop, 11/19/2013
- [Coq-Club] FLOPS 2014 2nd CFP, Eijiro Sumii, 11/19/2013
- [Coq-Club] Deadline Extension: ICNS 2014 || April 20 - 24, 2014 - Chamonix, France, ICNS 2014, 11/19/2013
- [Coq-Club] SR 2014 - call for contributions, murano, 11/19/2013
- [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, David MENTRÉ, 11/19/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, Daniel Schepler, 11/19/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, Robbert Krebbers, 11/19/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, AUGER Cédric, 11/19/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, David MENTRE, 11/20/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, Cedric Auger, 11/20/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, David MENTRE, 11/20/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, Cedric Auger, 11/20/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, Daniel Schepler, 11/22/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, David MENTRÉ, 11/23/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, Kristopher Micinski, 11/23/2013
- Re: [Coq-Club] Looking for simple examples of constructive logic and Curry-Howard isomorphism, AUGER Cédric, 11/19/2013
- [Coq-Club] print coq proof states?, Altenkirch Thorsten, 11/19/2013
- Re: [Coq-Club] print coq proof states?, Nuno Gaspar, 11/20/2013
- Re: [Coq-Club] print coq proof states?, Altenkirch Thorsten, 11/21/2013
- Re: [Coq-Club] print coq proof states?, Nuno Gaspar, 11/20/2013
Archive powered by MHonArc 2.6.18.