List archive

• [Coq-Club] Call for Papers: Special Issue M4M, Carlos Areces
• [Coq-Club] ordinal numbers in Coq, casteran
  • Re: [Coq-Club] ordinal numbers in Coq, Lionel Elie Mamane
    • Re: [Coq-Club] ordinal numbers in Coq, Lionel Elie Mamane
      • Re: [Coq-Club] ordinal numbers in Coq, Benjamin Werner
      • Re: [Coq-Club] ordinal numbers in Coq, casteran
• [Coq-Club] UNILOG'05, COSTA LEITE Alexandre
• [Coq-Club] ATVA 2004 - Call for Participation & Program, Farn Wang
• [Coq-Club] Proof generation algorithms, Lukasz Stafiniak
• [Coq-Club] Some metatheoretical questions re Coq, Robert M. Solovay
  • Re: [Coq-Club] Some metatheoretical questions re Coq, Carlos.SIMPSON
    • Re: [Coq-Club] Some metatheoretical questions re Coq, Robert M. Solovay
  • Re: [Coq-Club] Some metatheoretical questions re Coq, Benjamin Werner
• [Coq-Club] recursive ltacs, Dan Synek
  • Re: [Coq-Club] recursive ltacs, Houda Anoun
  • Re: [Coq-Club] recursive ltacs, Hugo Herbelin
    • Re: [Coq-Club] recursive ltacs, Jasper Stein
      • Re: [Coq-Club] recursive ltacs, Hugo Herbelin
      • Re: [Coq-Club] recursive ltacs, Hugo Herbelin
• [Coq-Club] ACL2 Workshop, Nov. 18-19, Matt Kaufmann
• [Coq-Club] CFP - Formal methods at IMACS World Congress in Paris, Marc Daumas
• [Coq-Club] ETAPS 2005: CALL FOR SUBMISSIONS, ETAPS 2005 Organisation
• [Coq-Club] Formal-reasoning post-doc at JAIST, Japan, Rene Vestergaard
• Re: [Coq-Club] Coq equality-related problem., Roland Zumkeller
• [Coq-Club] BDDs/MDDs in Coq, Nestor Catano
  • Re: [Coq-Club] BDDs/MDDs in Coq, Kumar Neeraj Verma
• [Coq-Club] trivial ltac question, Dan Synek
  • Re: [Coq-Club] trivial ltac question, Sébastien Hinderer
    • Re: [Coq-Club] trivial ltac question, Dan Synek
  • Re: [Coq-Club] trivial ltac question, Hugo Herbelin

Archive powered by MhonArc 2.6.16.