List archive

• Re: [Coq-Club] Apply and "Ill-typed evar instance", (continued)
  • Re: [Coq-Club] Apply and "Ill-typed evar instance", Enrico Tassi, 04/06/2017
• [Coq-Club] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software, m.huisman, 04/07/2017
• [Coq-Club] DeepLearn 2017: early registration April 21, GRLMC, 04/08/2017
  • Re: [Coq-Club] DeepLearn 2017: early registration April 21, Adam Chlipala, 04/13/2017
    • Re: [Coq-Club] DeepLearn 2017: early registration April 21, Robby Findler, 04/13/2017
      • Re: [Coq-Club] DeepLearn 2017: early registration April 21, Ralf Jung, 04/13/2017
      • Re: [Coq-Club] DeepLearn 2017: early registration April 21, Robby Findler, 04/13/2017
• [Coq-Club] Coercing a type to different constructors of an inductive type, Erkki Luuk, 04/08/2017
• [Coq-Club] Help with proving bounds on Z.land and Z.lor, Jason Gross, 04/08/2017
  • Re: [Coq-Club] Help with proving bounds on Z.land and Z.lor, Jason Gross, 04/10/2017
• [Coq-Club] Future, Laurent Thery, 04/09/2017
  • Re: [Coq-Club] Future, Enrico Tassi, 04/09/2017
    • Re: [Coq-Club] Future, Jason Gross, 04/10/2017
      • Re: [Coq-Club] Future, Laurent Thery, 04/10/2017
• [Coq-Club] Publication of the Mathematical Logic R0: Mathematical Formulae, Ken Kubota, 04/10/2017
• [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton, 04/10/2017
  • [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Burak Ekici, 04/13/2017
    • [Coq-Club] Ynt: Journal of Functional Programming - Call for PhD Abstracts, Burak Ekici, 04/13/2017
  • Re: [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Wilayat Khan, 04/14/2017
• [Coq-Club] Summer School on Verification Technology, Geoff Sutcliffe, 04/10/2017
• Re: [Coq-Club] using Ltac to retrieve the name of an induction principle from the type, Dan Frumin, 04/11/2017
  • Re: [Coq-Club] using Ltac to retrieve the name of an induction principle from the type, Matthieu Sozeau, 04/11/2017
• [Coq-Club] Formal Methods in Computer-Aided Design - Call for Papers, Geoff Sutcliffe, 04/11/2017
• [Coq-Club] Banach-Tarski paradox in Coq (proof completed), Daniel de Rauglaudre, 04/12/2017
  • Re: [Coq-Club] Banach-Tarski paradox in Coq (proof completed), 永江哲朗, 04/17/2017
    • Re: [Coq-Club] Banach-Tarski paradox in Coq (proof completed), Daniel de Rauglaudre, 04/17/2017
• [Coq-Club] Equality learning in linear arithmetic, Sylvain Boulmé, 04/12/2017
• [Coq-Club] POPL 2018 - call for Workshops and co-located Events, Gaboardi, Marco, 04/13/2017
• [Coq-Club] Question about Pattern Matching on False, zheng yang, 04/13/2017
  • Re: [Coq-Club] Question about Pattern Matching on False, Anton Trunov, 04/13/2017

Archive powered by MHonArc 2.6.18.