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/10
61 mails
Chronological Thread << < page 2 / 3 > >>
- 21/10/14
- Re: [Coq-Club] Formalization of the syntax of first-order logic: binders, Ian Shillito
- [Coq-Club] We're hiring faculty in software engineering, broadly construed, Sullivan, Kevin J (kjs5d)
- [Coq-Club] VerifyThis 2022 --- Call for Problems, Jean-Christophe Filliatre
- 21/10/16
- [Coq-Club] Rewriting Fails for a Dependent Type Function, mukesh tiwari
- Re: [Coq-Club] Rewriting Fails for a Dependent Type Function, Clément Pit-Claudel
- Re: [Coq-Club] Rewriting Fails for a Dependent Type Function, mukesh tiwari
- Re: [Coq-Club] Rewriting Fails for a Dependent Type Function, Clément Pit-Claudel
- 21/10/18
- [Coq-Club] Looking for ESOP'22 AEC members, Andreea Costea
- 21/10/19
- [Coq-Club] TYPES 2021 post-proceedings: Open call for papers, Henning Basold
- 21/10/21
- [Coq-Club] Proof Society Workshop and Winter School 2021, Joost J. Joosten
- [Coq-Club] ICLP 2022 Call For Papers, Víctor Pérez
- [Coq-Club] Assistant Professor position in Formal Methods, Eindhoven University, The Netherlands, Willemse, Tim
- [Coq-Club] PhD position in Type Theory at Chalmers/Gothenburg University (deadline 8 Nov), Andreas Abel
- 21/10/22
- [Coq-Club] Typechecker is running for 20 minutes, with 100% cpu and without any output, mukesh tiwari
- [Coq-Club] LICS 2022 Call for Papers, Sam Staton
- [Coq-Club] Engineer positions for the ProofInUse consortium, Claude Marche
- [Coq-Club] π>e, Alex Shkotin
- Re: [Coq-Club] π>e, Agnishom Chattopadhyay
- Re: [Coq-Club] π>e, TJ Machado
- 21/10/24
- Re: [Coq-Club] π>e, Alex Shkotin
- Re: [Coq-Club] π>e, Abhishek Anand
- Re: [Coq-Club] π>e, Alex Shkotin
- 21/10/25
- Re: [Coq-Club] π>e, Agnishom Chattopadhyay
- Re: [Coq-Club] π>e, Alex Shkotin
- Re: [Coq-Club] π>e, Alex Shkotin
- Re: [Coq-Club] π>e, Agnishom Chattopadhyay
- Re: [Coq-Club] π>e, Alex Shkotin
- 21/10/26
- 21/10/27
Archive powered by MHonArc 2.6.19+.