List archive

• Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, (continued)
  • Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Dominique Larchey-Wendling, 02/13/2021
    • Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Gert Smolka, 02/14/2021
    • Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Dominique Larchey-Wendling, 02/14/2021
    • Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Gert Smolka, 02/14/2021
    • Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Dominique Larchey-Wendling, 02/14/2021
    • Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Gert Smolka, 02/14/2021
  • Message not available
    • Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Gert Smolka, 02/14/2021
  • Re: [Coq-Club] Dependent typing puzzle, constructor injectivity, Jeremy Dawson, 02/14/2021
• [Coq-Club] Formalization of Actuarial Mathematics in Coq, 伊藤洋介, 02/14/2021
• [Coq-Club] CSL 2022 - call for papers, Manea, Florin, 02/15/2021
• [Coq-Club] Assistant/Associate Professor positions in Edinburgh, UK (Herio-Watt University): Logic, Programming Languages, Verification, Security, Ekaterina Komendantskaya, 02/16/2021
• Re: [Coq-Club] is there a metacoq email list?, Abhishek Anand, 02/16/2021
  • Re: [Coq-Club] is there a metacoq email list?, jonikelee AT gmail.com, 02/16/2021
• [Coq-Club] Iris 3.4 and std++ 1.5, Ralf Jung, 02/17/2021
• [Coq-Club] [CFP] The Coq Workshop 2021 : Call for Talk Proposals, Christian Doczkal, 02/17/2021
• [Coq-Club] BedRock Systems is Hiring, Gregory Malecha, 02/17/2021
• [Coq-Club] ESSLLI 2021 Student Session Call for papers, Александра Павлова, 02/18/2021
• [Coq-Club] termination when branching with fmaps, Lorenzo Gheri, 02/18/2021
  • Re: [Coq-Club] termination when branching with fmaps, Li-yao Xia, 02/18/2021
    • Re: [Coq-Club] termination when branching with fmaps, Lorenzo Gheri, 02/19/2021
      • Re: [Coq-Club] termination when branching with fmaps, Matthieu Sozeau, 02/19/2021
      • Re: [Coq-Club] termination when branching with fmaps, Laurent Thery, 02/19/2021
      • Re: [Coq-Club] termination when branching with fmaps, Lorenzo Gheri, 02/20/2021
      • Re: [Coq-Club] termination when branching with fmaps, Marcel Ullrich, 02/19/2021
• [Coq-Club] Parametricity Axiom, Maximilian Wuttke, 02/18/2021
  • Re: [Coq-Club] Parametricity Axiom, Dominique Larchey-Wendling, 02/18/2021
    • Re: [Coq-Club] Parametricity Axiom, Maximilian Wuttke, 02/19/2021
      • Re: [Coq-Club] Parametricity Axiom, Dominique Larchey-Wendling, 02/19/2021
      • Re: [Coq-Club] Parametricity Axiom, Pierre-Marie Pédrot, 02/19/2021
      • Re: [Coq-Club] Parametricity Axiom, Hugo Herbelin, 02/19/2021

Archive powered by MHonArc 2.6.19+.