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/05
61 mails
Chronological Thread << < page 2 / 3 > >>
- 22/05/15
- 22/05/16
- Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Dominique Larchey-Wendling
- [Coq-Club] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations, geoff
- Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), jtm
- Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), D. Ben Knoble
- 22/05/17
- Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Qinshi Wang
- Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Talia Ringer
- [Coq-Club] Assistant Professorships in Nottingham, Graham Hutton
- Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Dominique Larchey-Wendling
- Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Weijer, W. de (Wessel)
- Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Adam Chlipala
- [Coq-Club] ML Family Workshop 2022: Final Call for Presentations, Benoit Montagu
- [Coq-Club] CiE 2022 Call for Participation, acie
- [Coq-Club] Lamport on TLA+ in Quanta, with Coq mention, jonikelee AT gmail.com
- Re: [Coq-Club] Lamport on TLA+ in Quanta, with Coq mention, Ralf Jung
- Re: [Coq-Club] Lamport on TLA+ in Quanta, with Coq mention, Andrew Appel
- Re: [Coq-Club] Lamport on TLA+ in Quanta, with Coq mention, Filip Vukovinski
- [Coq-Club] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022, Chuangjie Xu
- 22/05/19
- [Coq-Club] ChoiceType for Coq Type with Field Axioms, mukesh tiwari
- 22/05/20
- [Coq-Club] TYPES 2022 -- Second call for participation, Pierre-Marie Pédrot
- [Coq-Club] JFLA 2022 -- second appel à participation et précisions sur l'inscription, Chantal Keller
- [Coq-Club] Call for Papers: Workshop on Type-Driven Development (TyDe), Harley D. Eades III
- 22/05/23
- 22/05/25
- [Coq-Club] ITP 2022: Call for Participation, Leonardo de Moura
- [Coq-Club] Workshop in honour of Thierry Coquand's 60th birthday, Anders Mortberg
- [Coq-Club] Postdoctoral Researcher Position in Formalization of Algorithms in Proof Assistants, University of Bergen, Norway (Deadline: June 30), Mateus de Oliveira Oliveira
- 22/05/29
- 22/05/30
- [Coq-Club] Ltac versus Ltac2, Jason Hu
- Re: [Coq-Club] Ltac versus Ltac2, Michael Soegtrop
Archive powered by MHonArc 2.6.19+.