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/05
32 mails
Chronological Thread << < page 1 / 2 > >>
- Re: [Coq-Club] Formalization of the Jordan normal form in Coq, Mohit Tekriwal, 05/01/2021
- <Possible follow-up(s)>
- Re: [Coq-Club] Formalization of the Jordan normal form in Coq, Mohit Tekriwal, 05/01/2021
- [Coq-Club] [CFP] The Coq Workshop 2021: Deadline Extension, Jean-Marie Madiot, 05/03/2021
- [Coq-Club] 2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021, Benedikt Ahrens, 05/03/2021
- [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton, 05/04/2021
- [Coq-Club] CFP - 37th International Conference on Logic Programming (extended deadlines), Miguel Areias, 05/04/2021
- [Coq-Club] Postdoc in Computing Science with a Specialisation in IT for a Sustainable and Secure Society, Tjark Weber, 05/05/2021
- [Coq-Club] Interacting between Coquelicot and mathcomp, Mohit Tekriwal, 05/05/2021
- Re: [Coq-Club] Interacting between Coquelicot and mathcomp, Christian Doczkal, 05/05/2021
- Re: [Coq-Club] Interacting between Coquelicot and mathcomp, Mohit Tekriwal, 05/06/2021
- Re: [Coq-Club] Interacting between Coquelicot and mathcomp, Laurence Rideau, 05/05/2021
- Re: [Coq-Club] Interacting between Coquelicot and mathcomp, Christian Doczkal, 05/05/2021
- [Coq-Club] Rewriting/Morphism/Partial Point-wise equality, Christopher Ernest Sally, 05/06/2021
- Re: [Coq-Club] Rewriting/Morphism/Partial Point-wise equality, Xavier Leroy, 05/06/2021
- Re: [Coq-Club] Rewriting/Morphism/Partial Point-wise equality, Christopher Ernest Sally, 05/08/2021
- Re: [Coq-Club] Rewriting/Morphism/Partial Point-wise equality, Emilio Jesús Gallego Arias, 05/06/2021
- Re: [Coq-Club] Rewriting/Morphism/Partial Point-wise equality, Xavier Leroy, 05/06/2021
- [Coq-Club] Final CfP/Deadline extension: ICTAC 2021, Antonio Cerone, 05/06/2021
- [Coq-Club] CALCO 2021: Second call for papers, Thorsten Wissmann, 05/08/2021
- [Coq-Club] FMBC 2021 - Final Call for Papers (Deadline extension), Bruno Bernardo, 05/10/2021
- [Coq-Club] installing coq, Jeremy Dawson, 05/11/2021
- Re: [Coq-Club] installing coq, Dominique Larchey-Wendling, 05/11/2021
- Re: [Coq-Club] installing coq, Jeremy Dawson, 05/14/2021
- Re: [Coq-Club] installing coq, Dominique Larchey-Wendling, 05/11/2021
- [Coq-Club] SBLP 2021 - Second Call for Papers (deadline extension), Mario Pereira, 05/11/2021
- [Coq-Club] First Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021), João F . Ferreira, 05/12/2021
- [Coq-Club] RAMiCS 2021 - Deadline Extension, luigi . santocanale, 05/12/2021
- [Coq-Club] LOPSTR 2021 - Call for Papers: Extended Deadline, Niccolò Veltri, 05/13/2021
- [Coq-Club] OCaml Users and Developers Workshop 2021: call for presentations, Frédéric Bour, 05/15/2021
- [Coq-Club] RV'21 Call for Papers (with an Extended Deadline), Dmitriy Traytel, 05/16/2021
- [Coq-Club] Call for Participation - Workshop on Natural Formal Mathematics (NatFoM 2021), Dennis Müller, 05/17/2021
- [Coq-Club] proof with as, Patricia Peratto, 05/17/2021
- Re: [Coq-Club] proof with as, Dominique Larchey-Wendling, 05/18/2021
Archive powered by MHonArc 2.6.19+.