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 > >>
- [Coq-Club] ACKERMANN AWARD 2020: Final Call for Nominations, EACSL Mail-Account, 03/02/2020
- [Coq-Club] Matrix norms, Mohit Tekriwal, 03/02/2020
- [Coq-Club] [CFP]-International Conference on Artificial Intelligence and Big Data (AIBD 2020) /April 25~26, 2020, Copenhagen, Denmark, Liya Mallory, 03/02/2020
- [Coq-Club] The Coq Workshop 2020: Call for Talk Proposals, Théo Zimmermann, 03/02/2020
- [Coq-Club] EPIT 2020: Spring School on Homotopy Type Theory (last announcement), nicolas tabareau, 03/02/2020
- [Coq-Club] PPDP 2020 Call For Papers, Andreas Abel, 03/02/2020
- [Coq-Club] PPDP 2020 Call For Papers (corrected link), Andreas Abel, 03/03/2020
- [Coq-Club] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020, Serge Autexier, 03/03/2020
- [Coq-Club] Satisfiability Checking and Symbolic Computation - Call for Papers, geoff, 03/03/2020
- [Coq-Club] coqdep error locations: line+column vs character number, Abhishek Anand, 03/03/2020
- Re: [Coq-Club] coqdep error locations: line+column vs character number, Abhishek Anand, 03/03/2020
- [Coq-Club] [CFP] The 2nd minIKanren and Relational Programming Workshop, Dmitri Boulytchev, 03/03/2020
- [Coq-Club] Why dependent type theory?, Jason Gross, 03/03/2020
- Re: [Coq-Club] [lean-user] Why dependent type theory?, Colin Stebbins Gordon, 03/03/2020
- Re: [Coq-Club] Why dependent type theory?, Viktor Kunčak, 03/03/2020
- Re: [Coq-Club] Why dependent type theory?, Jason Gross, 03/03/2020
- Re: [Coq-Club] Why dependent type theory?, Patricia Peratto, 03/03/2020
- Re: [Coq-Club] [Agda] Why dependent type theory?, mechvel, 03/03/2020
- Re: [Coq-Club] [Agda] Why dependent type theory?, Jason Gross, 03/04/2020
- Re: [Coq-Club] [lean-user] Re: [Agda] Why dependent type theory?, mechvel, 03/04/2020
- Re: [Coq-Club] [Agda] [lean-user] Re: Why dependent type theory?, mechvel, 03/04/2020
- Re: [Coq-Club] [Agda] [lean-user] Re: Why dependent type theory?, mechvel, 03/06/2020
- Re: [Coq-Club] [Agda] [lean-user] Re: Why dependent type theory?, mechvel, 03/07/2020
- Re: [Coq-Club] [Agda] Why dependent type theory?, Ralf Jung, 03/04/2020
- Re: [Coq-Club] [Agda] Why dependent type theory?, mechvel, 03/04/2020
- Re: [Coq-Club] [Agda] Why dependent type theory?, Ulf Norell, 03/04/2020
- Re: [Coq-Club] Why dependent type theory?, Pierre Courtieu, 03/04/2020
- Re: [Coq-Club] Why dependent type theory?, Pierre-Marie Pédrot, 03/04/2020
- Re: [Coq-Club] Why dependent type theory?, Jesper Cockx, 03/03/2020
- Re: [Coq-Club] Why dependent type theory?, Ralf Jung, 03/04/2020
- Re: [Coq-Club] Why dependent type theory?, Jason Gross, 03/03/2020
Archive powered by MHonArc 2.6.18.