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
2021/04
186 mails
Chronological Thread << < page 6 / 7 > >>
- [Coq-Club] Certified Elm web apps, Danil Annenkov, 04/12/2021
- [Coq-Club] 7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - Second CFP, Chantal Keller, 04/12/2021
- [Coq-Club] Release of the Coq platform 2021.02.1 - Coq 8.13.2, Enrico Tassi, 04/13/2021
- [Coq-Club] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice",10th May 2021 to 14th May 2021 (Register by April 17), Natarajan Shankar, 04/14/2021
- [Coq-Club] [CFP] The Coq Workshop 2021 : 2nd Call for Talk Proposals, Christian Doczkal, 04/14/2021
- [Coq-Club] 2nd Call For Papers - 37th International Conference on Logic Programming (ICLP 2021), Miguel Areias, 04/15/2021
- [Coq-Club] 2nd Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021), Miguel Areias, 04/15/2021
- [Coq-Club] CiE 2021 - CALL FOR INFORMAL PRESENTATIONS, acie, 04/16/2021
- [Coq-Club] TYPES 2021: Call for Contributions (speakers and deadline extension), Henning Basold, 04/16/2021
- [Coq-Club] 2021 Conference on Intelligent Computer Mathematics - Doctoral Programme - Call for Abstracts, Serge Autexier, 04/19/2021
- [Coq-Club] [CFP] Logical Frameworks and Meta-Languages: Theory and Practice - Extended Deadline, Enrico Tassi, 04/19/2021
- [Coq-Club] DEADLINE EXTENSION: Theorem-Proving Components for Educational Software (ThEdu'21), Joao Marcos, 04/19/2021
- [Coq-Club] Qed opacity and Coq standard library, Jerome Hugues, 04/20/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Jean-Christophe Léchenet, 04/21/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Jerome Hugues, 04/21/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Fabian Kunze, 04/23/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Jerome Hugues, 04/21/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Pierre-Marie Pédrot, 04/21/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Xavier Leroy, 04/21/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Jerome Hugues, 04/23/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Pierre Courtieu, 04/23/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Jerome Hugues, 04/23/2021
- Re: [Coq-Club] Qed opacity and Coq standard library, Jean-Christophe Léchenet, 04/21/2021
- [Coq-Club] FroCoS 2021 - Final Call for Papers, geoff, 04/20/2021
- [Coq-Club] Research engineer position: proof assistant / OCaml, David Baelde, 04/20/2021
- [Coq-Club] lia handling of equalities, Basile Clement, 04/20/2021
- Re: [Coq-Club] lia handling of equalities, Frédéric Besson, 04/20/2021
- Re: [Coq-Club] lia handling of equalities, Basile Clement, 04/21/2021
- Re: [Coq-Club] lia handling of equalities, Laurent Thery, 04/20/2021
- Re: [Coq-Club] lia handling of equalities, Frédéric Besson, 04/20/2021
- [Coq-Club] CfP: Formal Methods for Autonomous Systems (FMAS2021), Matt Luckcuck, 04/20/2021
- [Coq-Club] RAMiCS 2021 - Third CFP, luigi . santocanale, 04/20/2021
- [Coq-Club] 7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - DEADLINE EXTENSION: May 5, Chantal Keller, 04/22/2021
- [Coq-Club] PPDP 2021 Call for Papers, Tarmo Uustalu, 04/23/2021
Archive powered by MHonArc 2.6.19+.