List archive

• [Coq-Club] A module cannot be applied to another module application or with-expression, Vadim Zaliva, 11/22/2019
  • Re: [Coq-Club] A module cannot be applied to another module application or with-expression, Vadim Zaliva, 11/22/2019
    • Re: [Coq-Club] A module cannot be applied to another module application or with-expression, Pierre Courtieu, 11/22/2019
  • Re: [Coq-Club] A module cannot be applied to another module application or with-expression, Pierre Courtieu, 11/22/2019
• [Coq-Club] PhD, postdoc and research engineer positions at Universite Paris-Saclay/Inria, Chantal Keller, 11/22/2019
• [Coq-Club] ITRS 2020 Call for contributions, Ugo de'Liguoro, 11/22/2019
• [Coq-Club] TYPES 2020 - Call for contributions, Ugo de'Liguoro, 11/22/2019
• [Coq-Club] Canonical structure inference gets lost with application, Arthur Azevedo de Amorim, 11/24/2019
  • Re: [Coq-Club] Canonical structure inference gets lost with application, Beta Ziliani, 11/24/2019
• [Coq-Club] jfla 2020 | 1er appel à communication, zaynah dargaye, 11/25/2019
• [Coq-Club] JFLA 2020 | appel à participation, zaynah dargaye, 11/25/2019
• [Coq-Club] Artificial Intelligence and Theorem Proving 2020 - Second Call for Papers, geoff, 11/25/2019
• [Coq-Club] PhD, postdoc & intern positions in RustBelt and Iris projects at Max Planck, Derek Dreyer, 11/26/2019
• [Coq-Club] FLOPS 2020: Final Call For Papers (Due on 29 Nov, 2019), Keisuke Nakano, 11/26/2019
• [Coq-Club] 6th Global Conference on Artificial Intelligence - Extended Paper Submission Deadline, geoff, 11/26/2019
• [Coq-Club] PHOAS with extrinsic typing?, Joey Eremondi, 11/26/2019
  • Re: [Coq-Club] PHOAS with extrinsic typing?, Adam Chlipala, 11/26/2019
    • Re: [Coq-Club] PHOAS with extrinsic typing?, Jason Gross, 11/26/2019
• [Coq-Club] 2nd CFP: JFP Special Issue on Gradual Typing, Amal Ahmed, 11/27/2019
• [Coq-Club] BigOp equality over differing indices, Kiran Corbett Gopinathan, 11/28/2019
  • Re: [Coq-Club] BigOp equality over differing indices, Laurent Thery, 11/28/2019
    • Re: [Coq-Club] BigOp equality over differing indices, Kiran Corbett Gopinathan, 11/28/2019
      • Re: [Coq-Club] BigOp equality over differing indices, Laurent Thery, 11/28/2019
      • Re: [Coq-Club] BigOp equality over differing indices, Emilio Jesús Gallego Arias, 11/28/2019
• [Coq-Club] Release of Coq 8.10.2, Vincent Laporte, 11/29/2019
• [Coq-Club] MathComp 1.10.0 released, Yves Bertot, 11/29/2019
• [Coq-Club] Postdoc position on verification of concurrent data structure implementations, Lennart Beringer, 11/29/2019
• [Coq-Club] universe inconsistency on import, Vadim Zaliva, 11/30/2019
  • Re: [Coq-Club] universe inconsistency on import, Brett Gilio, 11/30/2019
    • Re: [Coq-Club] universe inconsistency on import, Jason Gross, 11/30/2019

Archive powered by MHonArc 2.6.18.