List archive

• 22/09/02
  • [Coq-Club] Fixpoint decreasing argument with remove_min in tree, Suneel Sarswat
  • Re: [Coq-Club] Fixpoint decreasing argument with remove_min in tree, D. Ben Knoble
  • [Coq-Club] Call for Papers: Unsound - Sources of Unsoundness in Verification (Deadline Extension: 2022-09-16), Jan Bessai
• 22/09/03
  • Re: [Coq-Club] Fixpoint decreasing argument with remove_min in tree, Castéran Pierre
  • Re: [Coq-Club] Fixpoint decreasing argument with remove_min in tree, mukesh tiwari
  • Re: [Coq-Club] Fixpoint decreasing argument with remove_min in tree, Castéran Pierre
  • Re: [Coq-Club] Fixpoint decreasing argument with remove_min in tree, Suneel Sarswat
  • Re: [Coq-Club] Fixpoint decreasing argument with remove_min in tree, Suneel Sarswat
  • Re: [Coq-Club] Fixpoint decreasing argument with remove_min in tree, Suneel Sarswat
  • Re: [Coq-Club] Fixpoint decreasing argument with remove_min in tree, mukesh tiwari
• 22/09/04
  • [Coq-Club] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022, Denis Merigoux
  • Re: [Coq-Club] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022, Joost J. Joosten
• 22/09/06
  • Re: [Coq-Club] Fixpoint decreasing argument with remove_min in tree, Suneel Sarswat
• 22/09/07
  • [Coq-Club] Problem with last version of CoqHammer, dapoignyrichard AT yahoo.fr
  • Re: [Coq-Club] Problem with last version of CoqHammer, Théo Zimmermann
  • Re: [Coq-Club] Problem with last version of CoqHammer, dapoignyrichard AT yahoo.fr
  • Re: [Coq-Club] Problem with last version of CoqHammer, Łukasz Czajka
• 22/09/08
  • [Coq-Club] TYPES 2022 First Post-proceeding CfP, Pierre-Marie Pédrot
  • Re: [Coq-Club] Problem with last version of CoqHammer, dapoignyrichard AT yahoo.fr
• 22/09/09
  • [Coq-Club] OOPSLA 2023: Round 1 Call for Papers, Andreea Costea
  • [Coq-Club] Summary of results from the Coq Community Survey 2022, Théo Zimmermann
  • [Coq-Club] Recruitment of a research engineer in automated proof at LIRMM in Montpellier (France), David Delahaye
  • [Coq-Club] RAMiCS 2023 - Third call for papers, Michael Winter
• 22/09/11
  • [Coq-Club] Looking for PostDoc on Program Verification Techniques in F* and Coq, Catalin Hritcu
• 22/09/12
  • [Coq-Club] Red-Black tree and OrderedType on records, Suneel Sarswat
  • Re: [Coq-Club] Red-Black tree and OrderedType on records, Li-yao Xia
• 22/09/14
  • [Coq-Club] CFP - JFLA 2023 - Journées Francophones des Langages Applicatifs, Timothy Bourke
• 22/09/19
  • [Coq-Club] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming, Peter Achten
• 22/09/21
  • [Coq-Club] CoqPL 2023: Call for Presentations, Tej Chajed
  • [Coq-Club] PLDI 2023 First Call for Papers, Anders Miltner

Archive powered by MHonArc 2.6.19+.