List archive

• [Coq-Club] Compute a general recursive function on dependent types., Shengyi Wang, 08/18/2018
  • Re: [Coq-Club] Compute a general recursive function on dependent types., Jason -Zhong Sheng- Hu, 08/18/2018
    • Re: [Coq-Club] Compute a general recursive function on dependent types., Shengyi Wang, 08/19/2018
      • Re: [Coq-Club] Compute a general recursive function on dependent types., Xavier Leroy, 08/19/2018
      • Re: [Coq-Club] Compute a general recursive function on dependent types., Shengyi Wang, 08/20/2018
• [Coq-Club] Doing something n times with backgtracking, Joey Eremondi, 08/19/2018
  • Re: [Coq-Club] Doing something n times with backgtracking, Maximilian Wuttke, 08/19/2018
    • Re: [Coq-Club] Doing something n times with backgtracking, Jason -Zhong Sheng- Hu, 08/19/2018
      • Re: [Coq-Club] Doing something n times with backgtracking, Joey Eremondi, 08/20/2018
• [Coq-Club] PhD scholarships at the Australian National University, Rajeev Gore, 08/19/2018
• [Coq-Club] Call for Conference Grant Applications (Inclusiveness Target Countries), Ambrus Kaposi, 08/23/2018
• [Coq-Club] Coq Standard Library Requests, Larry Darryl Lee, 08/23/2018
  • Re: [Coq-Club] Coq Standard Library Requests, Beta Ziliani, 08/23/2018
  • <Possible follow-up(s)>
  • [Coq-Club] Coq Standard Library Requests, Larry Darryl Lee, 08/23/2018
    • Re: [Coq-Club] Coq Standard Library Requests, Larry Darryl Lee, 08/23/2018
      • Re: [Coq-Club] Coq Standard Library Requests, Théo Zimmermann, 08/23/2018
• [Coq-Club] Does Coq support higher-order rewrite of lambda terms?, Alex Meyer, 08/23/2018
  • Re: [Coq-Club] Does Coq support higher-order rewrite of lambda terms?, Pierre Courtieu, 08/27/2018
• [Coq-Club] Coq code/theory manipulation tool (abstract syntax tree manipulation tool) - heurisitc transformation instead of rigorous rewriting, Alex Meyer, 08/24/2018
  • RE: [Coq-Club] Coq code/theory manipulation tool (abstract syntax tree manipulation tool) - heurisitc transformation instead of rigorous rewriting, Jason -Zhong Sheng- Hu, 08/24/2018
    • [Coq-Club] Coq code/theory manipulation tool (abstract syntax tree manipulation tool) - heurisitc transformation instead of rigorous rewriting, Alex Meyer, 08/26/2018
• [Coq-Club] 8,9 Oct: EUTypes meeting in Aarhus, Bas Spitters, 08/26/2018
• [Coq-Club] [ACL2-2018] Call for Participation --- Registration Open!, Shilpi Goel, 08/28/2018
• [Coq-Club] A couple of simple proofs., Kenneth Roe, 08/28/2018
  • Re: [Coq-Club] A couple of simple proofs., Gaëtan Gilbert, 08/28/2018
    • Re: [Coq-Club] A couple of simple proofs., Kenneth Roe, 08/28/2018
      • Re: [Coq-Club] A couple of simple proofs., Kazuhiko Sakaguchi, 08/30/2018
• [Coq-Club] CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation, Tarmo Uustalu, 08/28/2018
• [Coq-Club] New Software Foundations Volume on Random Testing in Coq, Leonidas Lampropoulos, 08/29/2018
• Re: [Coq-Club] Anybody uses the Quote plugin?, Assia Mahboubi, 08/30/2018

Archive powered by MHonArc 2.6.18.