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