List archive

• 06/04/02
  • [Coq-Club]Inheritance in Coq?, Satrajit Roy
• 06/04/03
  • Re: [Coq-Club]Inheritance in Coq?, jean-francois . monin
• 06/04/10
  • [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
• 06/04/12
  • [Coq-Club]Open position for a postdoctoral researcher at the TU Munich, Christian Urban
• 06/04/14
  • [Coq-Club]a type equality question, Vladimir Voevodsky
• 06/04/17
  • [Coq-Club]theorems from inductive type declarations, Ethan Aubin
• 06/04/18
  • [Coq-Club]HOR 2006: last call for abstracts, Femke van Raamsdonk
• 06/04/19
  • [Coq-Club]Reals theory, Jasper Stein
• 06/04/23
  • [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
• 06/04/24
  • [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
• 06/04/25
  • [Coq-Club]Applying reduction rules to generated proofs, mulhern
  • Re: [Coq-Club]Applying reduction rules to generated proofs, Roland Zumkeller
  • [Coq-Club][Bvector], Philippe Andouard
  • Re: [Coq-Club][Bvector], Pierre Casteran
  • [Coq-Club]Real functions, Pierre.ABBRUGIATI
  • Re: [Coq-Club]Applying reduction rules to generated proofs, Pierre Courtieu
  • [Coq-Club]Re: Applying reduction rules to generated proofs, mulhern
• 06/04/26
  • [Coq-Club]CFP: Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 2006), Claude Marche
• 06/04/27
  • Re: [Coq-Club][Bvector] + NArith + Intmap ..., Pierre Letouzey
• 06/04/28
  • [Coq-Club]Re: Reals theory, Jasper Stein
• 06/04/30
  • Re: [Coq-Club]Reals theory, Micaela Mayero

Archive powered by MhonArc 2.6.16.