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
2023/01
31 mails
Chronological Thread << < page 1 / 2 > >>
- 22/12/23
- Re: [Coq-Club] Proof about permutation, D. Ben Knoble
- Re: [Coq-Club] Proof about permutation, Rajeev Gore
- Re: [Coq-Club] Proof about permutation, Rajeev Gore
- 22/12/24
- Re: [Coq-Club] Proof about permutation, Rajeev Gore
- 22/12/30
- 23/01/02
- Re: [Coq-Club] Proof about permutation, Frederik Krogsdal Jacobsen
- [Coq-Club] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming, Peter Achten
- 23/01/03
- [Coq-Club] Post-doc position at Université de Montpellier, Simon Robillard
- [Coq-Club] Call for Papers: LangSec 2023 @ IEEE S&P, Tahina Ramananandro
- 23/01/04
- [Coq-Club] call-for-papers Automated Deduction in Geometry 2023, Pedro Quaresma
- 23/01/05
- [Coq-Club] Verification Jobs @ Cryspen, Karthikeyan Bhargavan
- 23/01/06
- 23/01/08
- [Coq-Club] [ANN] coq-lsp release 0.1.2, Emilio Jesús Gallego Arias
- [Coq-Club] FM 2023 - Call for Participation, Violet Ka I Pun
- Re: [Coq-Club] [ANN] coq-lsp release 0.1.2, Emilio Jesús Gallego Arias
- 23/01/09
- [Coq-Club] Extracting simplified Coq terms into OCaml code, Wendlasida Ouedraogo
- Re: [Coq-Club] Extracting simplified Coq terms into OCaml code, Gaëtan Gilbert
- 23/01/10
- [Coq-Club] Call to Rewrite tactic from OCaml in a coq plugin, Андрей Козырев
- 23/01/12
- 23/01/13
- [Coq-Club] UNIF 2023 Call for Papers, Christophe Ringeissen
- 23/01/16
- [Coq-Club] GCM 2023: First call for papers, Jens Kosiol
- 23/01/17
- [Coq-Club] Coq Platform 2022.09.1 release with Coq 8.16.1, Théo Zimmermann
- [Coq-Club] Volunteer co-maintainer needed for Docker-Coq, Théo Zimmermann
- 23/01/18
- [Coq-Club] FSCD 2023: Second Call for Papers, Carsten Fuhs
- Re: [Coq-Club] coq-club Digest Wed, 18 Jan 2023 (1/1), Steve Awodey
- [Coq-Club] Job offer - postdoc position in Inria Sophia Antipolis, Cyril Cohen
- 23/01/19
- 23/01/20
- [Coq-Club] ITP 2023: Second Call for Papers, Thiemann , René
- [Coq-Club] why are hints inside sections forbidden?, Abhishek Anand
Archive powered by MHonArc 2.6.19+.