List archive

• 22/06/10
  • Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Sylvain Boulmé
  • [Coq-Club] Postdoctoral Researcher and PhD positions at the University of Birmingham, vincent rahli
• 22/06/11
  • Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Ralf Jung
  • Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Qinshi Wang
• 22/06/13
  • [Coq-Club] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody", Luigia Petre
  • [Coq-Club] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages, Pieter Koopman
• 22/06/14
  • [Coq-Club] Updated Call for Papers and Tutorials - SEFM'22, chaiming
  • [Coq-Club] Certified Programs and Proofs (CPP) 2023 Call for Papers, Steve Zdancewic
• 22/06/15
  • [Coq-Club] dealing with open terms in Ltac or Ltac2, Benjamin Werner
  • Re: [Coq-Club] dealing with open terms in Ltac or Ltac2, Yannick Forster
  • [Coq-Club] POPL 2023 Call for Papers -- deadline Thursday, July 7th, AoE, Kristopher K Micinski
• 22/06/16
  • Re: [Coq-Club] dealing with open terms in Ltac or Ltac2, Samuel Gruetter
  • Re: [Coq-Club] dealing with open terms in Ltac or Ltac2, Benjamin Werner
• 22/06/17
  • [Coq-Club] 14th International Summer School on Verification Technology, Systems & Applications, geoff
• 22/06/18
  • Re: [Coq-Club] Custom Induction Principal for le_unique, mukesh tiwari
  • [Coq-Club] Release of Dkcheck 2.7, a type-checker for Dedukti files, Frédéric Blanqui
  • Re: [Coq-Club] Custom Induction Principal for le_unique, Dominique Larchey-Wendling
• 22/06/19
  • Re: [Coq-Club] Custom Induction Principal for le_unique, mukesh tiwari
• 22/06/20
  • [Coq-Club] Professor positions at Ruhr University Bochum, Catalin Hritcu
  • [Coq-Club] ANN: (docker-coq: Bump to Debian 11) & (docker-coq-action: Remove ocaml_version: "minimal"), Erik Martin-Dorel
• 22/06/21
  • [Coq-Club] Job offer / Research-Engineer / IRT Railenium, France, Kenza KRAIBI
  • [Coq-Club] Onward! Papers 2022 - CfP, Andreea Costea
• 22/06/22
  • [Coq-Club] generalize ZifyClasses.Saturate, Abhishek Anand
  • Re: [Coq-Club] generalize ZifyClasses.Saturate, Frédéric Besson
• 22/06/23
  • [Coq-Club] ring_theory instance for Z mod d setoid, Abhishek Anand
  • Re: [Coq-Club] ring_theory instance for Z mod d setoid, Dominique Larchey-Wendling
• 22/06/25
  • [Coq-Club] specify the ring_theory instance in ring and ring_simplify, Abhishek Anand
  • Re: [Coq-Club] specify the ring_theory instance in ring and ring_simplify, Sylvain Boulmé
• 22/06/26
  • [Coq-Club] Call for STSMs, deadline 1 July 2022, Ambrus Kaposi
• 22/06/27
  • [Coq-Club] Coq Platform release 2022.04.1, Théo Zimmermann

Archive powered by MHonArc 2.6.19+.