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 # 3/6 > >>
- 20/03/05
- Re: [Coq-Club] [Agda] Why dependent type theory?, Miguel Pagano
- Re: [Coq-Club] [Agda] Why dependent type theory?, Thorsten Altenkirch
- 20/03/06
- [Coq-Club] PAAR 2020 CFP - 7th Workshop on Practical Aspects of Automated Reasoning, geoff
- Re: [Coq-Club] [Agda] Why dependent type theory?, James McKinna
- Re: [Coq-Club] [Agda] [lean-user] Re: Why dependent type theory?, mechvel
- Re: [Coq-Club] [Agda] Why dependent type theory?, Martin Escardo
- Re: [Coq-Club] [Agda] Why dependent type theory?, Martin Escardo
- 20/03/07
- 20/03/08
- Re: [Coq-Club] [Agda] Why dependent type theory?, James McKinna
- Re: [Coq-Club] [lean-user] Re: [Agda] Why dependent type theory?, Bas Spitters
- 20/03/09
- Re: [Coq-Club] [Agda] Why dependent type theory?, Martin Escardo
- Re: [Coq-Club] [Agda] Why dependent type theory?, Gabriel Scherer
- [Coq-Club] Type Theory vs. Set Theory – Re: [Agda] Why dependent type theory?, Ken Kubota
- [Coq-Club] Formalization of probability estimator in Coq, Van Chan Ngo
- 20/03/10
- Re: [Coq-Club] [Agda] Why dependent type theory?, Jeremy Avigad
- Re: [Coq-Club] [Agda] Type Theory vs. Set Theory – Re: Why dependent type theory?, Thorsten Altenkirch
- [Coq-Club] How do I manage data structures with invariants in Coq?, Agnishom Chattopadhyay
- 20/03/11
- Re: [Coq-Club] How do I manage data structures with invariants in Coq?, mukesh tiwari
- [Coq-Club] MARKTOBERDORF SUMMER SCHOOL 2020: CALL FOR PARTICIPATION, Pretschner, Alexander
- [Coq-Club] [ANN] Hierarchy Builder 0.9.0 - Coq-Elpi 1.3.x, Enrico Tassi
- 20/03/12
- [Coq-Club] FTfJP 2020 - Call for Papers, Oortwijn Wytse
- [Coq-Club] [2nd CfP] ICLP 2020 -The 36th International Conference on Logic Programming, Laura Pandolfo
- [Coq-Club] [CfP] ICLP 2020 - The 36th International Conference on Logic Programming: Applications Track, Laura Pandolfo
- [Coq-Club] [CfP] ICLP 2020 - The 36th International Conference on Logic Programming: The Research Challenges Track, Laura Pandolfo
- Re: [Coq-Club] [Agda] [lean-user] Re: Why dependent type theory?, Thorsten Altenkirch
- [Coq-Club] [CfP] ICLP 2020 - Sister Conferences and Journal Presentation Track, Laura Pandolfo
- [Coq-Club] [CfP] ICLP 2020 - Special Session: Women in Logic Programming, Laura Pandolfo
- [Coq-Club] Advances in Modal Logic 2020: deadline extensions, Rineke Verbrugge
- 20/03/13
- Re: [Coq-Club] [Agda] [lean-user] Re: Why dependent type theory?, Mario Carneiro
- Re: [Coq-Club] [Agda] [lean-user] Re: Why dependent type theory?, Kevin Buzzard
Archive powered by MHonArc 2.6.18.