List archive

• 06/07/03
  • [Coq-Club]Grant for a foreign second year master student in Perpignan-France, Marc Daumas
• 06/07/05
  • [Coq-Club]eta-equivalence in Coq, roconnor
  • [Coq-Club][isabelle] Post-doctorate position on verification for domain-specific languages, Stephan Merz
  • [Coq-Club]Derivative of Polynomails, roconnor
  • [Coq-Club]INRIA postdoc position: certification of termination proofs, Frederic Blanqui
  • Re: [Coq-Club]eta-equivalence in Coq, Adam Chlipala
  • Re: [Coq-Club]eta-equivalence in Coq, roconnor
  • [Coq-Club]IJCAR 2006: Call For Participation, Sergey Berezin
• 06/07/06
  • [Coq-Club]Automatic derivation of dependent inversion principle?, Adam Chlipala
• 06/07/08
  • [Coq-Club]Why can't I use an Inductive definition in a Module to satisfy a Module Type Parameter?, mulhern
• 06/07/09
  • Re: [Coq-Club]Why can't I use an Inductive definition in a Module to satisfy a Module Type Parameter?, Elie Soubiran
• 06/07/10
  • [Coq-Club]unfolding a corecursive function, Keiko Nakata
  • Re: [Coq-Club]unfolding a corecursive function, Pierre Casteran
• 06/07/11
  • [Coq-Club]How can I make the definitions in my Modules more transparent?, mulhern
• 06/07/13
  • [Coq-Club]Beta-release of Coq V8.1, Hugo Herbelin
• 06/07/14
  • [Coq-Club]Matching let expressions in Ltac, Sean Wilson
• 06/07/16
  • [Coq-Club]FMICS06 - Call for Participation, Martin Leucker
• 06/07/17
  • [Coq-Club]New PhD Studentships: Logics, Types, & Rewriting for Software & Mathematics @ Heriot-Watt, Scotland, UK, Fairouz Kamareddine
  • [Coq-Club]AVOCS 2006: call for participation and short papers, Stephan Merz
• 06/07/20
  • [Coq-Club]PCC 2006 Call for Participation, Amy Felty
  • [Coq-Club]Junior researcher position at TU Berlin, Florian Kammueller
  • Re: [Coq-Club]Matching let expressions in Ltac, Adam Chlipala
• 06/07/21
  • [Coq-Club][8.1beta] Sort-polymorphism propagation, Eelis van der Weegen
• 06/07/22
  • [Coq-Club]Decreasing arguments for fixpoint definitions, Adam Koprowski
  • Re: [Coq-Club]Decreasing arguments for fixpoint definitions, Sébastien Hinderer
  • Re: [Coq-Club]Decreasing arguments for fixpoint definitions, jean-francois . monin
• 06/07/23
  • [Coq-Club]Appel aux communications JFLA 2007, Pierre-Etienne Moreau
  • Re: [Coq-Club]Decreasing arguments for fixpoint definitions, David Pichardie
  • Re: [Coq-Club]Decreasing arguments for fixpoint definitions, Adam Koprowski
• 06/07/25
  • [Coq-Club]HOR 2006: call for participation, Femke van Raamsdonk

Archive powered by MhonArc 2.6.16.