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
2018/12
104 mails
Chronological Thread << < page # 4/4 > >>
- 18/12/21
- [Coq-Club] Why Qwire was verified precisely in Coq?, José Manuel Rodriguez Caballero
- [Coq-Club] CS@max planck: The new Max Planck Graduate Center for Computer and Information Science, Derek Dreyer
- Re: [Coq-Club] Why Qwire was verified precisely in Coq?, Robert Rand
- Re: [Coq-Club] Why Qwire was verified precisely in Coq?, José Manuel Rodriguez Caballero
- 18/12/22
- [Coq-Club] LSFA 2019 Call for papers, Amy Felty
- [Coq-Club] jobs at multiple levels in Canberra Australia, Rajeev.Gore
- 18/12/24
- [Coq-Club] Standard library not listed?, Cao Qinxiang
- Re: [Coq-Club] Standard library not listed?, mukesh tiwari
- Re: [Coq-Club] Standard library not listed?, Cao Qinxiang
- [Coq-Club] Dependent Type Theory vs. Set Theory: Unencoded (direct) vs. encoded (indirect) form of expression, Ken Kubota
- Re: [Coq-Club] [Metamath] Dependent Type Theory vs. Set Theory: Unencoded (direct) vs. encoded (indirect) form of expression, Mario Carneiro
- 18/12/25
- 18/12/28
- [Coq-Club] SBLP 2019 - First call for papers, Rodrigo Ribeiro
- 18/12/29
- [Coq-Club] Ltac: match and constr_list?, Scott Lawrence
Archive powered by MHonArc 2.6.18.