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
2020/07
121 mails
Chronological Thread << < page 1 / 5 > >>
- Re: [Coq-Club] Simplify proofs with nested pattern matching (cases explosion), Blaudeau Clément, 06/30/2020
- Re: [Coq-Club] Simplify proofs with nested pattern matching (cases explosion), Blaudeau Clément, 07/01/2020
- Re: [Coq-Club] Simplify proofs with nested pattern matching (cases explosion), Pierre Courtieu, 07/01/2020
- Re: [Coq-Club] Simplify proofs with nested pattern matching (cases explosion), Yves Bertot, 07/02/2020
- Re: [Coq-Club] Simplify proofs with nested pattern matching (cases explosion), Blaudeau Clément, 07/01/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, jonikelee AT gmail.com, 07/01/2020
- <Possible follow-up(s)>
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, jonikelee AT gmail.com, 07/01/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, Gregory Malecha, 07/08/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, jonikelee AT gmail.com, 07/09/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, Gregory Malecha, 07/09/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, jonikelee AT gmail.com, 07/09/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, Guillaume Melquiond, 07/09/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, jonikelee AT gmail.com, 07/10/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, jonikelee AT gmail.com, 07/11/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, Guillaume Melquiond, 07/11/2020
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, Gregory Malecha, 07/08/2020
- [Coq-Club] [2nd CfP] ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming, Laura Pandolfo, 07/01/2020
- [Coq-Club] Cross-referencing coqdoc from Sphinx documentation, Jasper Haag, 07/01/2020
- [Coq-Club] Postdoctoral/research faculty position at Virginia Tech, Binoy Ravindran, 07/01/2020
- [Coq-Club] [CfP] PLP-2020: The Seventh Workshop on Probabilistic Logic Programming, Laura Pandolfo, 07/02/2020
- Re: [Coq-Club] [CfP] PLP-2020: The Seventh Workshop on Probabilistic Logic Programming, Ryan Rusich, 07/02/2020
- [Coq-Club] How to translate the body of a constant to a constr?, Francisco Trucco, 07/02/2020
- Re: [Coq-Club] How to translate the body of a constant to a constr?, Gaëtan Gilbert, 07/02/2020
- [Coq-Club] [CfP] EELP 2020 - The Second Workshop on Epistemic Extensions of Logic Programming, Laura Pandolfo, 07/03/2020
- [Coq-Club] PLV has a new blog!, Clément Pit-Claudel, 07/05/2020
- [Coq-Club] WFLP 2020: Deadline Extension, Claudio Sacerdoti Coen, 07/05/2020
- <Possible follow-up(s)>
- [Coq-Club] WFLP 2020: Deadline Extension, Claudio Sacerdoti Coen, 07/05/2020
- [Coq-Club] Call for Participation at the 32nd International Conference Computer-Aided Verification - CAV 2020 - Virtual and admission free event - Registration deadline is July 10th, 2020, Mihaela Rozman, 07/06/2020
- [Coq-Club] feed goal into hypothesis, Fritjof, 07/06/2020
- Re: [Coq-Club] feed goal into hypothesis, Pierre Courtieu, 07/06/2020
- Re: [Coq-Club] feed goal into hypothesis, jonikelee AT gmail.com, 07/06/2020
- Re: [Coq-Club] feed goal into hypothesis, Qinshi Wang, 07/06/2020
Archive powered by MHonArc 2.6.19+.