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/01
151 mails
Chronological Thread << < page # 5/6 > >>
- 20/01/14
- Re: [Coq-Club] installing new version of coq, Jason -Zhong Sheng- Hu
- Re: [Coq-Club] installing new version of coq, Jeremy Dawson
- Re: [Coq-Club] problems installing coqprime, Donald Leung
- Re: [Coq-Club] installing new version of coq, Donald Leung
- Re: [Coq-Club] problems installing coqprime, Théo Zimmermann
- Re: [Coq-Club] problems installing coqprime, Rajeev.Gore
- Re: [Coq-Club] installing new version of coq, Jeremy Dawson
- [Coq-Club] TAP 2020 - Call for Papers - Deadline Extension, Catherine DUBOIS
- Re: [Coq-Club] problems installing coqprime, Théo Zimmermann
- [Coq-Club] [TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland, Peter Achten
- Re: [Coq-Club] Implementing Coq on quantum computer, Robert Rand
- 20/01/15
- [Coq-Club] ETAPS Test of Time Award 2020, call for nominations, Tarmo Uustalu
- [Coq-Club] First ETAPS Doctoral Dissertation Award, final call for nominations, Tarmo Uustalu
- [Coq-Club] Request for the article "Proof Accounts in HOL", Mario Frank
- Re: [Coq-Club] Request for the article "Proof Accounts in HOL", Gaëtan Gilbert
- Re: [Coq-Club] Request for the article "Proof Accounts in HOL", Mario Frank
- 20/01/16
- [Coq-Club] RAMiCS CFSC, Michael Winter
- 20/01/17
- [Coq-Club] Agda is better, Agda Guru
- Re: [Coq-Club] Agda is better, Timothy Carstens
- Re: [Coq-Club] Agda is better, Agda Guru
- Re: [Coq-Club] Agda is better, Sergey Goncharov
- 20/01/18
- [Coq-Club] Best Practices for Interpretation Scopes, Gregory Malecha
- Re: [Coq-Club] Agda is better, Xuanrui Qi
- [Coq-Club] anyone using SProp?, jonikelee AT gmail.com
- Re: [Coq-Club] Agda is better, Sergey Goncharov
- Re: [Coq-Club] Agda is better, Xuanrui Qi
- Re: [Coq-Club] Agda is better, Kevin Sullivan
- 20/01/20
Archive powered by MHonArc 2.6.18.