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
2025/01
34 mails
Chronological Thread << < page 1 / 2 > >>
- 24/12/20
- 24/12/23
- [Coq-Club] 1st CfP: FMBC 2025 - 6th International Workshop on Formal Methods for Blockchains, Orestis Melkonian
- [Coq-Club] CONFEST2025 - Call for Workshops, Jaco van de Pol
- 24/12/27
- [Coq-Club] VSS 2025: Call for Papers, Stephen Siegel
- 24/12/29
- Re: [Coq-Club] Proving the pairing axiom, D. Ben Knoble
- 25/01/05
- 25/01/06
- Re: [Coq-Club] update a tactic, Meven Lennon-Bertrand
- Re: [Coq-Club] Proving the pairing axiom, mukesh tiwari
- Re: [Coq-Club] Proving the pairing axiom, mukesh tiwari
- 25/01/07
- 25/01/09
- 25/01/10
- 25/01/11
- 25/01/13
- 25/01/14
- [Coq-Club] World Logic Day 2025 + GRAPHIC DESIGN CHALLENGE FOR WLD 2026 Happy UNESCO World Logic Day 2025!, wld.assistantcoordinator
- [Coq-Club] Job Ad: Proof Engineer at Cryspen, Karthikeyan Bhargavan
- [Coq-Club] Formal Verification of a Safegcd Implementation in C for computing modular inverses, Russell O'Connor
- 25/01/15
- [Coq-Club] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques, Bas van den Heuvel
- [Coq-Club] Final CfP for HoTT/UF 2025, Daniel Gratzer
- [Coq-Club] Workshop on Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives, Ekaterina Komendantskaya
- 25/01/16
- 25/01/17
- [Coq-Club] FMBC25 - Second Call for Papers, Marmsoler, Diego
- [Coq-Club] Call for Papers FMBC 2025, d
- [Coq-Club] (Call for Participation) Dafny Workshop at POPL 2025, Stefan Zetzsche
- 25/01/20
- [Coq-Club] Coq 8.20.1 is out, Pierre Roux
- [Coq-Club] CADE-30 Call for Papers, geoff
- 25/01/22
- 25/01/23
Archive powered by MHonArc 2.6.19+.