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
2004/04
23 mails
Pages navigation :
chronological Thread << < page # 1/1 > >>
- 04/04/02
- [Coq-Club] Vectors, Sébastien Hinderer
- [Coq-Club] Vectors, Yves Bertot
- [Coq-Club] RTA'04: call for participation, Femke van Raamsdonk
- Re: [Coq-Club] Vectors, Pierre Letouzey
- [Coq-Club] paper: functions on equivalence classes, Larry Paulson
- 04/04/05
- Re: [Coq-Club] Vectors, Jean.Duprat
- [Coq-Club] Disproving 04 - Second Call for Papers, Wolfgang Ahrendt
- 04/04/06
- Re: [Coq-Club] Coq theory, Jevgenijs Sallinens
- 04/04/07
- 04/04/08
- [Coq-Club] Workshop, demri
- 04/04/09
- [Coq-Club] functions on equivalence classes, Larry Paulson
- [Coq-Club] CICLOPS 2004: Second CFP, Manuel Carro
- 04/04/10
- [Coq-Club] adding coq to qpq, Jesse Alama
- [Coq-Club] NASSLLI04 Call for Participation, Marcus Kracht
- 04/04/15
- 04/04/16
- [Coq-Club] need help converting hol proof to coq., Robert T Bauer
- Re: [Coq-Club] need help converting hol proof to coq., Thery Laurent
- 04/04/21
- [Coq-Club] Release of Coq V8.0, Bruno Barras
- 04/04/23
- [Coq-Club] RDP 2004 (RTA & workshops): Call for participation, Juergen Giesl
- [Coq-Club] ACL2 Workshop, Matt Kaufmann
- 04/04/26
- [Coq-Club] UNIF'04 workshop @ IJCAR 2004: First Call for Papers, Michael Kohlhase
- 04/04/30
- [Coq-Club] CFP: Logic, Games and Philosophy: Foundational Perspectives, Dr. Ahti-Veikko Pietarinen
Archive powered by MhonArc 2.6.16.