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
99 mails
Chronological Thread << < page 4 / 4 > >>
- [Coq-Club] F-IDE 2021 - Last Call for Papers - Extended Deadline, Andrei Paskevich, 02/24/2021
- [Coq-Club] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto), Dominique Unruh, 02/25/2021
- [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Benedikt Ahrens, 02/25/2021
- Re: [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Michael Soegtrop, 02/25/2021
- Re: [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Pierre Courtieu, 02/25/2021
- Re: [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Xavier Leroy, 02/25/2021
- Re: [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Pierre Courtieu, 02/25/2021
- Re: [Coq-Club] Zarith - compiling Coq 8.13 on Debian stable, Michael Soegtrop, 02/25/2021
- [Coq-Club] Searching for a remote part-time position, Beta Ziliani, 02/25/2021
- [Coq-Club] ACKERMANN AWARD 2021: CALL FOR NOMINATIONS, EACSL Mail-Account, 02/26/2021
- [Coq-Club] Release of the Coq platform 2021.02.0, Enrico Tassi, 02/26/2021
Archive powered by MHonArc 2.6.19+.