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/02
151 mails
Chronological Thread << < page # 5/6 > >>
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, (continued)
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Jason Gross, 02/21/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Valentin Robert, 02/21/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Daniel Schepler, 02/21/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Valentin Robert, 02/21/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Talia Ringer, 02/21/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Talia Ringer, 02/21/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Dominique Larchey-Wendling, 02/21/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Emilio Jesús Gallego Arias, 02/22/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Jason Gross, 02/22/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Hugo Herbelin, 02/22/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Arthur Azevedo de Amorim, 02/22/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Jason Gross, 02/22/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Hugo Herbelin, 02/22/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Talia Ringer, 02/23/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Valentin Robert, 02/21/2020
- Re: [Coq-Club] Ideal eliminator for { l : list T & length l = n}, Jason Gross, 02/21/2020
- [Coq-Club] Computability in Europe 2020 FIRST CALL FOR INFORMAL PRESENTATIONS, acie, 02/21/2020
- [Coq-Club] Call for Papers :International Conference on Machine learning and Cloud Computing (MLCL 2020), jesus jesus, 02/21/2020
- [Coq-Club] UNIF 2020 - Call for Papers, geoff, 02/21/2020
- [Coq-Club] EJCP 2020 - Appel à participation, Jean-Christophe Filliatre, 02/21/2020
- [Coq-Club] EVENT DATE CHANGE Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020, Benedikt Ahrens, 02/22/2020
- [Coq-Club] [Part 1/2] Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening?, Ken Kubota, 02/23/2020
- [Coq-Club] [Part 2/2] Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening?, Ken Kubota, 02/23/2020
- Re: [Coq-Club] Coq vs lean for classical analysis, Bas Spitters, 02/23/2020
- [Coq-Club] CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning, Claudio Sacerdoti Coen, 02/25/2020
- [Coq-Club] Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020), Laura Pandolfo, 02/25/2020
- [Coq-Club] IWIL-14 at LPAR-23 - Call for Papers, geoff, 02/25/2020
- [Coq-Club] Simplifying a function (exactly) once?, Agnishom Chattopadhyay, 02/25/2020
- Re: [Coq-Club] Simplifying a function (exactly) once?, Jason -Zhong Sheng- Hu, 02/25/2020
- Re: [Coq-Club] Simplifying a function (exactly) once?, Jason Gross, 02/26/2020
- Re: [Coq-Club] Simplifying a function (exactly) once?, Agnishom Chattopadhyay, 02/26/2020
- Re: [Coq-Club] Simplifying a function (exactly) once?, Christian Doczkal, 02/26/2020
- Re: [Coq-Club] Simplifying a function (exactly) once?, Jason -Zhong Sheng- Hu, 02/25/2020
Archive powered by MHonArc 2.6.18.