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/05
91 mails
Chronological Thread << < page # 2/4 > >>
- 17/05/08
- [Coq-Club] How to represent tabular data in Coq, Klaus Ostermann
- 17/05/09
- Re: [Coq-Club] How to represent tabular data in Coq, Wilayat Khan
- 17/05/10
- Re: [Coq-Club] How to represent tabular data in Coq, Ben Sherman
- Re: [Coq-Club] How to represent tabular data in Coq, Klaus Ostermann
- [Coq-Club] Second call for talk proposals: Higher-Order Programming with Effects, HOPE 2017, François Pottier
- 17/05/11
- 17/05/12
- [Coq-Club] Problem with constructive rewriting, John Wiegley
- [Coq-Club] Problem with constructive rewriting, John Wiegley
- Re: [Coq-Club] Problem with constructive rewriting, Jason Gross
- Re: [Coq-Club] Problem with constructive rewriting, John Wiegley
- Re: [Coq-Club] Problem with constructive rewriting, Jason Gross
- 17/05/13
- Re: [Coq-Club] Problem with constructive rewriting, John Wiegley
- [Coq-Club] Coq-HOTT via OPAM, Tadeusz Litak
- 17/05/14
- 17/05/15
- [Coq-Club] EJCP 2017 - dernier appel à participation, Jean-Christophe Filliatre
- [Coq-Club] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday, CIE2017
- 17/05/16
- [Coq-Club] Coq Dev & User meetings + Coq Workshop, Matthieu Sozeau
- [Coq-Club] Researcher positions (postdoc) in "Verification of Quantum Cryptography", Dominique Unruh
- 17/05/17
- [Coq-Club] SYNASC 2017 - Final Call for Papers, SYNASC 2017
- Re: [Coq-Club] How to represent tabular data in Coq, Ben Sherman
- Re: [Coq-Club] [coqdev] Coq Dev & User meetings + Coq Workshop, Enrico Tassi
- Re: [Coq-Club] How to represent tabular data in Coq, Jason Gross
- 17/05/18
- [Coq-Club] Overloading notation for different types in Coq, Marianna Rapoport
- Re: [Coq-Club] Overloading notation for different types in Coq, Marianna Rapoport
- Re: [Coq-Club] Overloading notation for different types in Coq, Gaetan Gilbert
- Re: [Coq-Club] Overloading notation for different types in Coq, Marianna Rapoport
- 17/05/19
- [Coq-Club] Stuck with an induction proof using subset types, Klaus Ostermann
- Re: [Coq-Club] Stuck with an induction proof using subset types, Dominique Larchey-Wendling
Archive powered by MHonArc 2.6.18.