List archive

• Re: [Coq-Club] Proof about permutation, D. Ben Knoble, 12/23/2022
  • <Possible follow-up(s)>
  • Re: [Coq-Club] Proof about permutation, Rajeev Gore, 12/23/2022
    • Message not available
      • Re: [Coq-Club] Proof about permutation, Rajeev Gore, 12/23/2022
      • Message not available
      • Message not available
      • Re: [Coq-Club] Proof about permutation, Rajeev Gore, 12/24/2022
      • Message not available
      • Message not available
      • Re: [Coq-Club] Proof about permutation, Frederik Krogsdal Jacobsen, 01/02/2023
• [Coq-Club] A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games", Harsh Beohar, 12/30/2022
• [Coq-Club] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming, Peter Achten, 01/02/2023
• [Coq-Club] Post-doc position at Université de Montpellier, Simon Robillard, 01/03/2023
• [Coq-Club] Call for Papers: LangSec 2023 @ IEEE S&P, Tahina Ramananandro, 01/03/2023
• [Coq-Club] call-for-papers Automated Deduction in Geometry 2023, Pedro Quaresma, 01/04/2023
• [Coq-Club] Verification Jobs @ Cryspen, Karthikeyan Bhargavan, 01/05/2023
• [Coq-Club] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software, Walther Neuper, 01/06/2023
• [Coq-Club] [ANN] coq-lsp release 0.1.2, Emilio Jesús Gallego Arias, 01/08/2023
  • Re: [Coq-Club] [ANN] coq-lsp release 0.1.2, Emilio Jesús Gallego Arias, 01/08/2023
• [Coq-Club] FM 2023 - Call for Participation, Violet Ka I Pun, 01/08/2023
• [Coq-Club] Extracting simplified Coq terms into OCaml code, Wendlasida Ouedraogo, 01/09/2023
  • Re: [Coq-Club] Extracting simplified Coq terms into OCaml code, Gaëtan Gilbert, 01/09/2023
• [Coq-Club] Call to Rewrite tactic from OCaml in a coq plugin, Андрей Козырев, 01/10/2023
• [Coq-Club] Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23), Carlos Olarte, 01/12/2023
• [Coq-Club] CADE-29 Call for Papers, geoff, 01/12/2023
• [Coq-Club] UNIF 2023 Call for Papers, Christophe Ringeissen, 01/13/2023
• [Coq-Club] GCM 2023: First call for papers, Jens Kosiol, 01/16/2023
• [Coq-Club] Coq Platform 2022.09.1 release with Coq 8.16.1, Théo Zimmermann, 01/17/2023
• [Coq-Club] Volunteer co-maintainer needed for Docker-Coq, Théo Zimmermann, 01/17/2023
• [Coq-Club] FSCD 2023: Second Call for Papers, Carsten Fuhs, 01/18/2023
• Re: [Coq-Club] coq-club Digest Wed, 18 Jan 2023 (1/1), Steve Awodey, 01/18/2023
• [Coq-Club] Job offer - postdoc position in Inria Sophia Antipolis, Cyril Cohen, 01/18/2023
• [Coq-Club] Call for ETAPS Test of Time Award 2023 Nominations, jan . kofron, 01/19/2023
• [Coq-Club] ITP 2023: Second Call for Papers, Thiemann , René, 01/20/2023
• [Coq-Club] why are hints inside sections forbidden?, Abhishek Anand, 01/20/2023

Archive powered by MHonArc 2.6.19+.