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/08
241 mails
Chronological Thread << < page # 5/9 > >>
- 14/08/11
- Re: [Coq-Club] Elimination Rules, Abhishek Anand
- Re: [Coq-Club] Representation of mutable structures and work with it, Thomas Braibant
- [Coq-Club] Strictly positive inductive types, elilobo.v
- Re: [Coq-Club] Strictly positive inductive types, Luke Maurer
- Re: [Coq-Club] Strictly positive inductive types, Maxime Dénès
- Re: [Coq-Club] Strictly positive inductive types, Elisabet Lobo
- 14/08/12
- Re: [Coq-Club] Elimination Rules, Neel Krishnaswami
- Re: [Coq-Club] Elimination Rules, Andrej Bauer
- Re: [Coq-Club] Elimination Rules, Abhishek Anand
- 14/08/13
- [Coq-Club] Cancellation Law of a Group, Jinfang Wang
- Re: [Coq-Club] Elimination Rules, Vladimir Voevodsky
- [Coq-Club] Are there any (math) textbooks formalized in Coq?, Hugo Carvalho
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Gabriel Scherer
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Harley D. Eades III
- 14/08/14
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Hugo Carvalho
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Benjamin C. Pierce
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Dimitri Hendriks
- [Coq-Club] equation (eq) and irrefutable patterns (let .. in ..), Pascal Manoury
- Re: [Coq-Club] equation (eq) and irrefutable patterns (let .. in ..), Ilya Sergey
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Matej Kosik
- Re: [Coq-Club] Local Canonical Structures instances, Beta Ziliani
- Re: [Coq-Club] Are there any (math) textbooks formalized in Coq?, Daniel Schepler
- Re: [Coq-Club] Can I prove equality of sigT given its condition?, Eddy Westbrook
- Re: [Coq-Club] Can I prove equality of sigT given its condition?, Eddy Westbrook
- [Coq-Club] Second call for papers IFL 2014, planpublicity
- 14/08/15
- [Coq-Club] APLAS 2014: Call for Posters and Demos, Cristian Andrei Gherghina
- [Coq-Club] BigDat 2015: August 23, registration deadline, GRLMC
- [Coq-Club] University Professorship (W3) in Theoretical Computer Science, Ina Schaefer
- Re: [Coq-Club] Cancellation Law of a Group, Cédric
- Re: [Coq-Club] Cancellation Law of a Group, Strub, Pierre-Yves
Archive powered by MHonArc 2.6.18.