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