List archive

• [Coq-Club]Grant for a foreign second year master student in Perpignan-France, Marc Daumas
• [Coq-Club]eta-equivalence in Coq, roconnor
  • Re: [Coq-Club]eta-equivalence in Coq, Adam Chlipala
    • Re: [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
• [Coq-Club]IJCAR 2006: Call For Participation, Sergey Berezin
• [Coq-Club]Automatic derivation of dependent inversion principle?, Adam Chlipala
• [Coq-Club]Why can't I use an Inductive definition in a Module to satisfy a Module Type Parameter?, mulhern
  • Re: [Coq-Club]Why can't I use an Inductive definition in a Module to satisfy a Module Type Parameter?, Elie Soubiran
• [Coq-Club]unfolding a corecursive function, Keiko Nakata
  • Re: [Coq-Club]unfolding a corecursive function, Pierre Casteran
• [Coq-Club]How can I make the definitions in my Modules more transparent?, mulhern
• [Coq-Club]Beta-release of Coq V8.1, Hugo Herbelin
• [Coq-Club]Matching let expressions in Ltac, Sean Wilson
  • Re: [Coq-Club]Matching let expressions in Ltac, Adam Chlipala
• [Coq-Club]FMICS06 - Call for Participation, Martin Leucker
• [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
• [Coq-Club]PCC 2006 Call for Participation, Amy Felty
• [Coq-Club]Junior researcher position at TU Berlin, Florian Kammueller
• [Coq-Club][8.1beta] Sort-polymorphism propagation, Eelis van der Weegen
• [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
  • Re: [Coq-Club]Decreasing arguments for fixpoint definitions, David Pichardie
    • Re: [Coq-Club]Decreasing arguments for fixpoint definitions, Adam Koprowski
    • Re: [Coq-Club]Decreasing arguments for fixpoint definitions, Adam Koprowski
      • Re: [Coq-Club]Decreasing arguments for fixpoint definitions, David Pichardie

Archive powered by MhonArc 2.6.16.