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
2024/02
44 mails
Chronological Thread << < page 2 / 2 > >>
- 24/02/19
- [Coq-Club] HoTT/UF 2024: Registration, Tom de Jong
- 24/02/20
- 24/02/22
- [Coq-Club] Call for STSMs and ITC conference grants, deadline 17 March 2024, Ambrus Kaposi
- [Coq-Club] PhD position at the University of Copenhagen, Dmitriy Traytel
- 24/02/23
- 24/02/24
- 24/02/25
- [Coq-Club] TYPES 2024 - Call for Contributions, Patrick Bahr
- 24/02/26
- 24/02/28
- [Coq-Club] new releases of hol2dk and coq-hol-light, Frédéric Blanqui
- [Coq-Club] Interactive theorem proving internship at AWS Cambridge, UK, Dominic Mulligan
- [Coq-Club] LPAR-25, Call for Short Presentation Papers, geoff
Archive powered by MHonArc 2.6.19+.