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
2014/01
331 mails
Chronological Thread << < page # 6/12 > >>
- 14/01/09
- Re: [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy theory & advantage of UF/Coq, Andreas Abel
- [Coq-Club] guarantees from Print Assumptions, Abhishek Anand
- [Coq-Club] Second CFP: The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014), Announce Announcements
- 14/01/10
- Re: [Coq-Club] [Agda] ANN: MiniAgda-0.2014.1.9 Toy language with dependent and sized types, gallais
- Re: [Coq-Club] guarantees from Print Assumptions, Arnaud Spiwack
- [Coq-Club] Question about rewriting with dependent types, Nicolas Magaud
- Re: [Coq-Club] Question about rewriting with dependent types, Lucian M. Patcas
- Re: [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy theory & advantage of UF/Coq, Jorge Luis Sacchini
- Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter
- Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter
- Re: [Coq-Club] Question about rewriting with dependent types, Rui Baptista
- [Coq-Club] MEDI 2014: First Call for Papers, Announce Announcements
- Re: [Coq-Club] Question about rewriting with dependent types, Pierre Courtieu
- 14/01/11
- [Coq-Club] UTP-2014 Unifying Theories of Programming - call for papers, David Naumann
- Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter
- [Coq-Club] SSTiC 2014: January 18, 2nd registration deadline, GRLMC
- [Coq-Club] ICSOB 2014: Industry Day - Final Call for Papers, Announce Announcements
- [Coq-Club] CiE 2014: Language, Life, Limits - extended deadline, CiE Conference Series
- 14/01/12
- Re: [Coq-Club] Question about rewriting with dependent types, Dan Frumin
- [Coq-Club] KICSS 2014: Preliminary Call for Papers, Announce Announcements
- [Coq-Club] hierarchicial module names, Ian Lynagh
- Re: [Coq-Club] hierarchicial module names, Adam Chlipala
- Re: [Coq-Club] hierarchicial module names, Ian Lynagh
- [Coq-Club] GIBSE 2014 - Call for Papers, danilo.ansaloni AT usi.ch
- [Coq-Club] FOAL 2014 - Call for Papers, danilo.ansaloni AT usi.ch
- Re: [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy theory & advantage of UF/Coq, Andreas Abel
- 14/01/13
- [Coq-Club] Notation for partial terms, Anders Lundstedt
- Re: [Coq-Club] Compilation of CoQ on Linux, Michael Ganem
- Re: [Coq-Club] Notation for partial terms, Arnaud Spiwack
- Re: [Coq-Club] Notation for partial terms, Cedric Auger
Archive powered by MHonArc 2.6.18.