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 # 2/6 > >>
- 20/01/04
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Arthur Azevedo de Amorim
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Thorsten Altenkirch
- 20/01/06
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Bas Spitters
- [Coq-Club] Understanding typeclass resolution, Daniel Selsam
- [Coq-Club] ACKERMANN AWARD 2020: CALL FOR NOMINATIONS, Thomas Schwentick
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Kevin Buzzard
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Conor McBride
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Stefan Monnier
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Bas Spitters
- [Coq-Club] MSFP 2020 - Final Call for Papers, Max New
- 20/01/07
- Re: [Coq-Club] A simple typeclass question, Vadim Zaliva
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Xuanrui Qi
- [Coq-Club] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland, Peter Achten
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Bas Spitters
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Thorsten Altenkirch
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Ramkumar Ramachandra
- [Coq-Club] Unexpected ltac match behaviour with existential variables, Wedson Almeida Filho
- 20/01/08
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", jonikelee AT gmail.com
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Mario Carneiro
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", jonikelee AT gmail.com
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Jason Gross
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", jonikelee AT gmail.com
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Sylvain Boulmé
- [Coq-Club] universe polymorphism flag when loading file, Jeremy Dawson
- Re: [Coq-Club] universe polymorphism flag when loading file, Gaëtan Gilbert
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Ramkumar Ramachandra
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Talia Ringer
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", BEGAY Pierre-leo
- 20/01/09
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Kevin Buzzard
- Re: [Coq-Club] Fwd: "Lean is like Coq but better", Florent Hivert
Archive powered by MHonArc 2.6.18.