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
2018/08
91 mails
Chronological Thread << < page # 3/4 > >>
- 18/08/20
- Re: [Coq-Club] module "best practices"?, Benjamin C. Pierce
- 18/08/21
- Re: [Coq-Club] module "best practices"?, Adam Chlipala
- Re: [Coq-Club] module "best practices"?, Kevin Hamlen
- 18/08/22
- Re: [Coq-Club] module "best practices"?, Samuel Gruetter
- 18/08/23
- [Coq-Club] Call for Conference Grant Applications (Inclusiveness Target Countries), Ambrus Kaposi
- RE: [Coq-Club] module "best practices"?, Soegtrop, Michael
- RE: [Coq-Club] module "best practices"?, Soegtrop, Michael
- [Coq-Club] Coq Standard Library Requests, Larry Darryl Lee
- [Coq-Club] Coq Standard Library Requests, Larry Darryl Lee
- Re: [Coq-Club] Coq Standard Library Requests, Larry Darryl Lee
- Re: [Coq-Club] Coq Standard Library Requests, Beta Ziliani
- Re: [Coq-Club] Coq Standard Library Requests, Théo Zimmermann
- [Coq-Club] Does Coq support higher-order rewrite of lambda terms?, Alex Meyer
- Re: [Coq-Club] module "best practices"?, David Holland
- 18/08/24
- Re: [Coq-Club] Mtac2 1.0 is here!, Beta Ziliani
- Re: [Coq-Club] module "best practices"?, Anders Lundstedt
- RE: [Coq-Club] module "best practices"?, Soegtrop, Michael
- [Coq-Club] Coq code/theory manipulation tool (abstract syntax tree manipulation tool) - heurisitc transformation instead of rigorous rewriting, Alex Meyer
- RE: [Coq-Club] Coq code/theory manipulation tool (abstract syntax tree manipulation tool) - heurisitc transformation instead of rigorous rewriting, Jason -Zhong Sheng- Hu
- 18/08/26
- 18/08/27
- 18/08/28
- [Coq-Club] [ACL2-2018] Call for Participation --- Registration Open!, Shilpi Goel
- [Coq-Club] A couple of simple proofs., Kenneth Roe
- Re: [Coq-Club] A couple of simple proofs., Gaëtan Gilbert
- Re: [Coq-Club] A couple of simple proofs., Kenneth Roe
- [Coq-Club] CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation, Tarmo Uustalu
- 18/08/29
- [Coq-Club] New Software Foundations Volume on Random Testing in Coq, Leonidas Lampropoulos
- 18/08/30
Archive powered by MHonArc 2.6.18.