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 > >>
- 20/06/30
- 20/07/01
- Re: [Coq-Club] Simplify proofs with nested pattern matching (cases explosion), Blaudeau Clément
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, jonikelee AT gmail.com
- Re: [Coq-Club] Simplify proofs with nested pattern matching (cases explosion), Pierre Courtieu
- [Coq-Club] [2nd CfP] ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming, Laura Pandolfo
- [Coq-Club] Cross-referencing coqdoc from Sphinx documentation, Jasper Haag
- [Coq-Club] Postdoctoral/research faculty position at Virginia Tech, Binoy Ravindran
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, jonikelee AT gmail.com
- 20/07/02
- Re: [Coq-Club] Simplify proofs with nested pattern matching (cases explosion), Yves Bertot
- [Coq-Club] [CfP] PLP-2020: The Seventh Workshop on Probabilistic Logic Programming, Laura Pandolfo
- Re: [Coq-Club] [CfP] PLP-2020: The Seventh Workshop on Probabilistic Logic Programming, Ryan Rusich
- [Coq-Club] How to translate the body of a constant to a constr?, Francisco Trucco
- Re: [Coq-Club] How to translate the body of a constant to a constr?, Gaëtan Gilbert
- 20/07/03
- 20/07/05
- [Coq-Club] PLV has a new blog!, Clément Pit-Claudel
- [Coq-Club] WFLP 2020: Deadline Extension, Claudio Sacerdoti Coen
- [Coq-Club] WFLP 2020: Deadline Extension, Claudio Sacerdoti Coen
- 20/07/06
- [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
- [Coq-Club] feed goal into hypothesis, Fritjof
- Re: [Coq-Club] feed goal into hypothesis, Pierre Courtieu
- Re: [Coq-Club] feed goal into hypothesis, jonikelee AT gmail.com
- Re: [Coq-Club] feed goal into hypothesis, Qinshi Wang
- 20/07/07
- [Coq-Club] Permanent positions at the University of Strathclyde, Fredrik Nordvall Forsberg
- [Coq-Club] FMBC 2020 - Call for Participation, Bruno Bernardo
- 20/07/08
- [Coq-Club] Rewriting inside map expressions to manipulate finite/indexed sum expessions, Agnishom Chattopadhyay
- Re: [Coq-Club] Rewriting inside map expressions to manipulate finite/indexed sum expessions, Laurent Thery
- Re: [Coq-Club] Rewriting inside map expressions to manipulate finite/indexed sum expessions, Erik Martin-Dorel
- Re: [Coq-Club] Rewriting inside map expressions to manipulate finite/indexed sum expessions, Agnishom Chattopadhyay
- Re: [Coq-Club] Rewriting inside map expressions to manipulate finite/indexed sum expessions, Laurent Thery
- Re: [Coq-Club] lesson learned about reflection: atoms and transparency, Gregory Malecha
Archive powered by MHonArc 2.6.19+.