List archive

• 17/04/06
  • Re: [Coq-Club] Apply and "Ill-typed evar instance", Enrico Tassi
• 17/04/07
  • [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
• 17/04/08
  • [Coq-Club] DeepLearn 2017: early registration April 21, GRLMC
  • [Coq-Club] Coercing a type to different constructors of an inductive type, Erkki Luuk
  • [Coq-Club] Help with proving bounds on Z.land and Z.lor, Jason Gross
• 17/04/09
  • [Coq-Club] Future, Laurent Thery
  • Re: [Coq-Club] Future, Enrico Tassi
• 17/04/10
  • Re: [Coq-Club] Help with proving bounds on Z.land and Z.lor, Jason Gross
  • Re: [Coq-Club] Future, Jason Gross
  • Re: [Coq-Club] Future, Laurent Thery
  • [Coq-Club] Publication of the Mathematical Logic R0: Mathematical Formulae, Ken Kubota
  • [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton
  • [Coq-Club] Summer School on Verification Technology, Geoff Sutcliffe
• 17/04/11
  • Re: [Coq-Club] using Ltac to retrieve the name of an induction principle from the type, Dan Frumin
  • [Coq-Club] Formal Methods in Computer-Aided Design - Call for Papers, Geoff Sutcliffe
  • Re: [Coq-Club] using Ltac to retrieve the name of an induction principle from the type, Matthieu Sozeau
• 17/04/12
  • [Coq-Club] Banach-Tarski paradox in Coq (proof completed), Daniel de Rauglaudre
  • [Coq-Club] Equality learning in linear arithmetic, Sylvain Boulmé
• 17/04/13
  • [Coq-Club] POPL 2018 - call for Workshops and co-located Events, Gaboardi, Marco
  • [Coq-Club] Question about Pattern Matching on False, zheng yang
  • Re: [Coq-Club] Question about Pattern Matching on False, Anton Trunov
  • Re: [Coq-Club] Question about Pattern Matching on False, Théo Zimmermann
  • Re: [Coq-Club] Question about Pattern Matching on False, Miroslav Dobsicek
  • [Coq-Club] International School on Rewriting 2017: Second Call for Participation, Raamsdonk, F. van
  • [Coq-Club] TABLEAUX 2017 DEADLINE REMINDER, Cláudia Nalon
  • [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Burak Ekici
  • [Coq-Club] Ynt: Journal of Functional Programming - Call for PhD Abstracts, Burak Ekici
  • Re: [Coq-Club] DeepLearn 2017: early registration April 21, Adam Chlipala
  • Re: [Coq-Club] DeepLearn 2017: early registration April 21, Robby Findler
  • Re: [Coq-Club] DeepLearn 2017: early registration April 21, Ralf Jung

Archive powered by MHonArc 2.6.18.