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
2020/03
151 mails
Chronological Thread << < page # 1/6 > >>
- 20/03/02
- [Coq-Club] ACKERMANN AWARD 2020: Final Call for Nominations, EACSL Mail-Account
- [Coq-Club] Matrix norms, Mohit Tekriwal
- [Coq-Club] [CFP]-International Conference on Artificial Intelligence and Big Data (AIBD 2020) /April 25~26, 2020, Copenhagen, Denmark, Liya Mallory
- [Coq-Club] The Coq Workshop 2020: Call for Talk Proposals, Théo Zimmermann
- [Coq-Club] EPIT 2020: Spring School on Homotopy Type Theory (last announcement), nicolas tabareau
- [Coq-Club] PPDP 2020 Call For Papers, Andreas Abel
- 20/03/03
- [Coq-Club] PPDP 2020 Call For Papers (corrected link), Andreas Abel
- [Coq-Club] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020, Serge Autexier
- [Coq-Club] Satisfiability Checking and Symbolic Computation - Call for Papers, geoff
- [Coq-Club] coqdep error locations: line+column vs character number, Abhishek Anand
- Re: [Coq-Club] coqdep error locations: line+column vs character number, Abhishek Anand
- [Coq-Club] [CFP] The 2nd minIKanren and Relational Programming Workshop, Dmitri Boulytchev
- [Coq-Club] Why dependent type theory?, Jason Gross
- Re: [Coq-Club] [lean-user] Why dependent type theory?, Colin Stebbins Gordon
- Re: [Coq-Club] Why dependent type theory?, Viktor Kunčak
- Re: [Coq-Club] Why dependent type theory?, Christian Doczkal
- Re: [Coq-Club] Why dependent type theory?, Ken Kubota
- Re: [Coq-Club] Why dependent type theory?, Jason Gross
- Re: [Coq-Club] Why dependent type theory?, Jesper Cockx
- Re: [Coq-Club] Why dependent type theory?, Patricia Peratto
- Re: [Coq-Club] Why dependent type theory?, jonikelee AT gmail.com
- Re: [Coq-Club] Why dependent type theory?, Daniel Schepler
- Re: [Coq-Club] [Agda] Why dependent type theory?, mechvel
- Re: [Coq-Club] [Agda] Why dependent type theory?, Steven Shaw
- Re: [Coq-Club] [Agda] Why dependent type theory?, mechvel
- Re: [Coq-Club] [Agda] Why dependent type theory?, Steven Shaw
- Re: [Coq-Club] [Agda] Why dependent type theory?, Martin Escardo
- Re: [Coq-Club] Why dependent type theory?, Dominique Larchey-Wendling
- 20/03/04
- Re: [Coq-Club] [Agda] Why dependent type theory?, Jason Gross
- Re: [Coq-Club] [lean-user] Why dependent type theory?, Scott Morrison
Archive powered by MHonArc 2.6.18.