List archive

• Re: [Coq-Club] Beginner question: 0 - 1 = 0?, (continued)
  • Re: [Coq-Club] Beginner question: 0 - 1 = 0?, Castéran Pierre, 07/23/2023
  • Re: [Coq-Club] Beginner question: 0 - 1 = 0?, Qinshi Wang, 07/24/2023
  • Re: [Coq-Club] Beginner question: 0 - 1 = 0?, Hugo Herbelin, 07/26/2023
  • Re: [Coq-Club] Beginner question: 0 - 1 = 0?, Tadeusz Litak, 07/24/2023
• [Coq-Club] Mapping of types to new one in a project, Suneel Sarswat, 07/24/2023
  • Re: [Coq-Club] Mapping of types to new one in a project, D. Ben Knoble, 07/24/2023
  • Re: [Coq-Club] Mapping of types to new one in a project, mukesh tiwari, 07/24/2023
    • Re: [Coq-Club] Mapping of types to new one in a project, Suneel Sarswat, 07/24/2023
      • Re: [Coq-Club] Mapping of types to new one in a project, mukesh tiwari, 07/24/2023
      • Re: [Coq-Club] Mapping of types to new one in a project, Suneel Sarswat, 07/25/2023
• [Coq-Club] Call for Participation, Functional Software Architecture - FP in the Large, Graham Hutton, 07/26/2023
• [Coq-Club] POPL 2024 - Call for Tutorials (deadline: 15 October), Donaldson, Alastair F, 07/26/2023
• [Coq-Club] CICM 2023 - Call for Participation, Catherine DUBOIS, 07/27/2023
• [Coq-Club] FLOPS 2024 Symposium on Functional and Logic Programming, Jeremy Gibbons, 07/27/2023
• [Coq-Club] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023, Donaldson, Alastair F, 07/27/2023
• [Coq-Club] Beginner question: how to prove ~ P \/ P ?, Frank Schwidom, 07/31/2023
  • Re: [Coq-Club] Beginner question: how to prove ~ P \/ P ?, Agnishom Chattopadhyay, 07/31/2023
• [Coq-Club] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages, Pieter Koopman, 07/31/2023

Archive powered by MHonArc 2.6.19+.