List archive

• Re: [Coq-Club] How do I manage data structures with invariants in Coq?, (continued)
  • Re: [Coq-Club] How do I manage data structures with invariants in Coq?, Agnishom Chattopadhyay, 03/14/2020
    • Re: [Coq-Club] How do I manage data structures with invariants in Coq?, mukesh tiwari, 03/14/2020
    • Re: [Coq-Club] How do I manage data structures with invariants in Coq?, Dominique Larchey-Wendling, 03/14/2020
• [Coq-Club] MARKTOBERDORF SUMMER SCHOOL 2020: CALL FOR PARTICIPATION, Pretschner, Alexander, 03/11/2020
• [Coq-Club] [ANN] Hierarchy Builder 0.9.0 - Coq-Elpi 1.3.x, Enrico Tassi, 03/11/2020
• [Coq-Club] FTfJP 2020 - Call for Papers, Oortwijn Wytse, 03/12/2020
• [Coq-Club] [2nd CfP] ICLP 2020 -The 36th International Conference on Logic Programming, Laura Pandolfo, 03/12/2020
• [Coq-Club] [CfP] ICLP 2020 - The 36th International Conference on Logic Programming: Applications Track, Laura Pandolfo, 03/12/2020
• [Coq-Club] [CfP] ICLP 2020 - The 36th International Conference on Logic Programming: The Research Challenges Track, Laura Pandolfo, 03/12/2020
• [Coq-Club] [CfP] ICLP 2020 - Sister Conferences and Journal Presentation Track, Laura Pandolfo, 03/12/2020
• [Coq-Club] [CfP] ICLP 2020 - Special Session: Women in Logic Programming, Laura Pandolfo, 03/12/2020
• [Coq-Club] Advances in Modal Logic 2020: deadline extensions, Rineke Verbrugge, 03/12/2020
• [Coq-Club] Lambda-calculus in coq, Louis Noizet, 03/13/2020
  • <Possible follow-up(s)>
  • [Coq-Club] Lambda-calculus in coq, Louis Noizet, 03/13/2020
    • Re: [Coq-Club] Lambda-calculus in coq, Thorsten Altenkirch, 03/13/2020
• Re: [Coq-Club] [Agda] [lean-user] Re: Why dependent type theory?, Thorsten Altenkirch, 03/13/2020
• [Coq-Club] REMS-Deepspec 2020: Call for talk proposals, Lennart Beringer, 03/13/2020
• Re: [Coq-Club] [Agda] Concepts within Type Theory – Re: Type Theory vs. Set Theory – Re: Why dependent type theory?, Thorsten Altenkirch, 03/15/2020
  • Re: [Coq-Club] [Agda] Concepts within Type Theory – Re: Type Theory vs. Set Theory – Re: Why dependent type theory?, Ken Kubota, 03/16/2020
• [Coq-Club] Alonzo Church Award - Call for Nominations, geoff, 03/16/2020
• [Coq-Club] LSFA 2020 - deadline extension, Giselle Reis, 03/16/2020
• [Coq-Club] Non-strict positivity and impredicativity, Stefan Monnier, 03/17/2020
  • Re: [Coq-Club] Non-strict positivity and impredicativity, Fredrik Nordvall Forsberg, 03/18/2020
    • Re: [Coq-Club] Non-strict positivity and impredicativity, Stefan Monnier, 03/19/2020
• [Coq-Club] ACKERMANN AWARD 2020: Deadline for nominations postponed to July 1, 2020, EACSL Mail-Account, 03/18/2020
• [Coq-Club] PhD positions in Computational Mathematics at Stockholm University, Anders Mortberg, 03/20/2020
• [Coq-Club] std++ 1.3, Robbert Krebbers, 03/20/2020
• [Coq-Club] coq library std++ 1.3 / coq 8.11, Jeremy Dawson, 03/23/2020
  • Re: [Coq-Club] coq library std++ 1.3 / coq 8.11, Ralf Jung, 03/23/2020
    • Re: [Coq-Club] coq library std++ 1.3 / coq 8.11, Jeremy Dawson, 03/23/2020

Archive powered by MHonArc 2.6.18.