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/02
94 mails
Chronological Thread << < page 3 / 4 > >>
- 21/02/20
- Re: [Coq-Club] Parametricity Axiom, Daniel Schepler
- Re: [Coq-Club] Parametricity Axiom, Maximilian Wuttke
- [Coq-Club] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021, Serge Autexier
- Re: [Coq-Club] termination when branching with fmaps, Lorenzo Gheri
- Re: [Coq-Club] Parametricity Axiom, Daniel Schepler
- 21/02/21
- Re: [Coq-Club] Parametricity Axiom, Maximilian Wuttke
- Re: [Coq-Club] Parametricity Axiom, Christian Doczkal
- 21/02/22
- [Coq-Club] Hydra battles, Castéran Pierre
- 21/02/23
- Re: [Coq-Club] Parametricity Axiom, Thorsten Altenkirch
- Re:[Coq-Club], Hugo Herbelin
- [Coq-Club] Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021, Benedikt Ahrens
- [Coq-Club] Release of Coq 8.13.1, Enrico Tassi
- 21/02/24
- [Coq-Club] Bill McCune PhD Award in Automated Reasoning, geoff
- [Coq-Club] VerifyThis 2021: Call for Participation + Grants + Prizes, Siddharth Krishna
- [Coq-Club] RAMiCS 2021 - 2nd CFP, luigi . santocanale
- [Coq-Club] Research Internships using Coq at CertiK, Vilhelm Sjöberg
- [Coq-Club] F-IDE 2021 - Last Call for Papers - Extended Deadline, Andrei Paskevich
- 21/02/25
- [Coq-Club] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto), Dominique Unruh
- [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Benedikt Ahrens
- Re: [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Michael Soegtrop
- Re: [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Pierre Courtieu
- [Coq-Club] Searching for a remote part-time position, Beta Ziliani
- Re: [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Xavier Leroy
- 21/02/26
- [Coq-Club] ACKERMANN AWARD 2021: CALL FOR NOMINATIONS, EACSL Mail-Account
- [Coq-Club] Release of the Coq platform 2021.02.0, Enrico Tassi
- 21/02/28
- Re:[Coq-Club], Vincent Semeria
- Re:[Coq-Club], Bas Spitters
- Re:[Coq-Club], Vincent Semeria
- Re:[Coq-Club], Hugo Herbelin
- Re:[Coq-Club], Vincent Semeria
Archive powered by MHonArc 2.6.19+.