List archive

• [Coq-Club]Inheritance in Coq?, Satrajit Roy
  • Re: [Coq-Club]Inheritance in Coq?, jean-francois . monin
• [Coq-Club]Equality problem., Adam Koprowski
  • Re: [Coq-Club]Equality problem., roconnor
  • Re: [Coq-Club]Equality problem., Xavier Leroy
  • Re: [Coq-Club]Equality problem., Andrew McCreight
  • Re: [Coq-Club]Equality problem., Jean-Marc Notin
  • Re: [Coq-Club]Equality problem., Conor McBride
• [Coq-Club]Open position for a postdoctoral researcher at the TU Munich, Christian Urban
• [Coq-Club]a type equality question, Vladimir Voevodsky
• [Coq-Club]theorems from inductive type declarations, Ethan Aubin
• [Coq-Club]HOR 2006: last call for abstracts, Femke van Raamsdonk
• [Coq-Club]Reals theory, Jasper Stein
  • [Coq-Club]Real functions, Pierre.ABBRUGIATI
  • [Coq-Club]Re: Reals theory, Jasper Stein
  • Re: [Coq-Club]Reals theory, Micaela Mayero
• [Coq-Club]Problème de démonstration pas induct ion, Damien Ledoux
  • [Coq-Club]Re: [Coq-Club]Problème de démonstrat ion pas induction, Julien Narboux
  • [Coq-Club]Re: [Coq-Club]Problème de démonstrat ion pas induction, Jean.Duprat
  • Re: [Coq-Club]Problème de d émonstration pas induction, Pierre Courtieu
• [Coq-Club]Question about refine tactic, mulhern
• [Coq-Club]Applying reduction rules to generated proofs, mulhern
  • Re: [Coq-Club]Applying reduction rules to generated proofs, Roland Zumkeller
  • Re: [Coq-Club]Applying reduction rules to generated proofs, Pierre Courtieu
  • [Coq-Club]Re: Applying reduction rules to generated proofs, mulhern
• [Coq-Club][Bvector], Philippe Andouard
  • Re: [Coq-Club][Bvector], Pierre Casteran
    • Re: [Coq-Club][Bvector] + NArith + Intmap ..., Pierre Letouzey
• [Coq-Club]CFP: Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 2006), Claude Marche

Archive powered by MhonArc 2.6.16.