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
2022/07
26 mails
Chronological Thread << < page 1 / 1 > >>
- 22/07/01
- 22/07/03
- [Coq-Club] EuroProofNet WG2 kickoff meeting, geoff
- [Coq-Club] CFA International Symposium on ARC, ARC Info UVT
- 22/07/06
- 22/07/07
- [Coq-Club] Certified Symbolic-Numeric Computation, Assia Mahboubi
- 22/07/11
- [Coq-Club] FormalV 1.0.0 released, mireia.gbedmar
- Re: [Coq-Club] FormalV 1.0.0 released, Adam Chlipala
- 22/07/12
- [Coq-Club] Call for talks/participation - EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs, Frédéric Blanqui
- [Coq-Club] Reasoning about the complexity of Coq functions, mukesh tiwari
- Re: [Coq-Club] Reasoning about the complexity of Coq functions, Lasse Blaauwbroek
- 22/07/13
- Re: [Coq-Club] Reasoning about the complexity of Coq functions, Qinshi Wang
- Re: [Coq-Club] Reasoning about the complexity of Coq functions, Yao Li
- [Coq-Club] GPCE 2022 Second Call for Papers, Youyou Cong
- [Coq-Club] ETAPS 2023 1st joint call for papers, Jan Kofron
- [Coq-Club] Soliciting nominations for the POPL 2023 Artifact Evaluation Committee, Leonidas Lampropoulos
- [Coq-Club] Call for participation DaLí 2022, Carlos Areces
- 22/07/14
- 22/07/15
- 22/07/26
- [Coq-Club] Assistant Professorships at Heriot-Watt University, Stark, Kathrin
- [Coq-Club] Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022, Orestis Melkonian
- 22/07/29
- 22/07/30
- [Coq-Club] Simplifying pattern matching, Wendlasida Ouedraogo
- Re: [Coq-Club] Simplifying pattern matching, mukesh tiwari
- 22/07/31
- Re: [Coq-Club] recompiling coq libraries on recompiling coq, Abhishek Anand
- [Coq-Club] PhD and Postdoctoral positions in Formal Methods for AI, Ekaterina Komendantskaya
Archive powered by MHonArc 2.6.19+.