List archive

• [Coq-Club] Vectors, Sébastien Hinderer
  • Re: [Coq-Club] Vectors, Pierre Letouzey
  • Re: [Coq-Club] Vectors, Jean.Duprat
  • <Possible follow-ups>
  • [Coq-Club] Vectors, Yves Bertot
• [Coq-Club] RTA'04: call for participation, Femke van Raamsdonk
• [Coq-Club] paper: functions on equivalence classes, Larry Paulson
• [Coq-Club] Disproving 04 - Second Call for Papers, Wolfgang Ahrendt
• Re: [Coq-Club] Coq theory, Jevgenijs Sallinens
• [Coq-Club] Annonce d'un poste PAST à l'Université Paris II, demri
• [Coq-Club] beta-expansion tactic?, Josh Berdine
  • [Coq-Club] need help converting hol proof to coq., Robert T Bauer
    • Re: [Coq-Club] need help converting hol proof to coq., Thery Laurent
• [Coq-Club] Workshop, demri
• [Coq-Club] functions on equivalence classes, Larry Paulson
• [Coq-Club] CICLOPS 2004: Second CFP, Manuel Carro
• [Coq-Club] adding coq to qpq, Jesse Alama
• [Coq-Club] NASSLLI04 Call for Participation, Marcus Kracht
• [Coq-Club] meaningful module type not syntactically correct, David Nowak
• [Coq-Club] Release of Coq V8.0, Bruno Barras
• [Coq-Club] RDP 2004 (RTA & workshops): Call for participation, Juergen Giesl
• [Coq-Club] ACL2 Workshop, Matt Kaufmann
• [Coq-Club] UNIF'04 workshop @ IJCAR 2004: First Call for Papers, Michael Kohlhase
• [Coq-Club] CFP: Logic, Games and Philosophy: Foundational Perspectives, Dr. Ahti-Veikko Pietarinen

Archive powered by MhonArc 2.6.16.