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
2024/12
31 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] (Post-)Doctoral Positions at Chapman U, Jonathan Weinberger, 12/02/2024
- [Coq-Club] PhD positions at Nottingham, Thorsten Altenkirch, 12/03/2024
- [Coq-Club] Paid internship position at Virginia Tech, USA, Swarn Priya, 12/04/2024
- [Coq-Club] JFLA 2025 - Inscriptions ouvertes, Marie Kerjean, 12/05/2024
- [Coq-Club] Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Brazil, Serge Autexier, 12/09/2024
- [Coq-Club] FSCD 2025: Second Call for Papers, Carsten Fuhs, 12/10/2024
- [Coq-Club] TYPES 2025: First Call for Contributions, Fredrik Nordvall Forsberg, 12/10/2024
- [Coq-Club] [CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025, nicolas tabareau, 12/11/2024
- [Coq-Club] Postdoc position in formal methods for security and privacy, Rolando Trujillo Rasua, 12/13/2024
- [Coq-Club] Postdoc positions in Ljubljana, Slovenia, Bauer, Andrej, 12/16/2024
- [Coq-Club] produce _CoqProject from dune, Abhishek Anand, 12/16/2024
- [Coq-Club] LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025, Andrei Popescu, 12/16/2024
- [Coq-Club] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK), Peter Achten, 12/18/2024
- [Coq-Club] PhD position at ETH Zurich in formal semantics and verification, Ralf Jung, 12/18/2024
- [Coq-Club] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations, Daniel Gratzer, 12/20/2024
- Re: [Coq-Club] Problem with definitions scope in imported module, richard, 12/22/2024
- Re: [Coq-Club] Problem with definitions scope in imported module, mukesh tiwari, 12/22/2024
- Re: [Coq-Club] Problem with definitions scope in imported module, richard, 12/22/2024
- Re: [Coq-Club] Problem with definitions scope in imported module, mukesh tiwari, 12/22/2024
- Re: [Coq-Club] Problem with definitions scope in imported module, Richard Dapoigny, 12/22/2024
- Re: [Coq-Club] Problem with definitions scope in imported module, Richard Dapoigny, 12/22/2024
- Re: [Coq-Club] Problem with definitions scope in imported module, richard, 12/22/2024
- Re: [Coq-Club] Problem with definitions scope in imported module, mukesh tiwari, 12/22/2024
- [Coq-Club] update a tactic, Jason Hu, 12/23/2024
- Re: [Coq-Club] update a tactic, Gaëtan Gilbert, 12/23/2024
- Re: [Coq-Club] update a tactic, Gaëtan Gilbert, 12/23/2024
- Re: [Coq-Club] update a tactic, Gaëtan Gilbert, 12/23/2024
- [Coq-Club] Equivalence for propositional functions, richard, 12/25/2024
- Re: [Coq-Club] Equivalence for propositional functions, Théo Winterhalter, 12/25/2024
- Re: [Coq-Club] Equivalence for propositional functions, mukesh tiwari, 12/25/2024
- Re: [Coq-Club] Equivalence for propositional functions, Richard Dapoigny, 12/25/2024
- [Coq-Club] Proving the pairing axiom, richard, 12/28/2024
- Re: [Coq-Club] Proving the pairing axiom, mukesh tiwari, 12/28/2024
Archive powered by MHonArc 2.6.19+.