List archive

• 20/05/21
  • [Coq-Club] Job offer for a Mathematician or Computer Scientist researcher in Barcelona, Ana Borges
• 20/05/22
  • Re: [Coq-Club] conversion from vector to list and back, Talia Ringer
  • Re: [Coq-Club] conversion from vector to list and back, Talia Ringer
  • Re: [Coq-Club] conversion from vector to list and back, Fritjof Bornebusch
  • [Coq-Club] CfP: ICTAC 2020, radu . muschevici
  • [Coq-Club] cfp Working Formal Methods Symposium (FROM 2020), motogna
  • [Coq-Club] Where can I download Coq-Club mailing list archives?, Sam Kuper
• 20/05/23
  • Re: [Coq-Club] nth element of a vector, Tadeusz Litak
  • Re: [Coq-Club] nth element of a vector, Frédéric Blanqui
• 20/05/24
  • Re: [Coq-Club] Get rid of "suggest Proof using" warning in new Proof General, Pierre Courtieu
  • [Coq-Club] Research Positions in a project on AI Verification (Types, Programming Languages, Security, Machine Learning ), Ekaterina Komendantskaya
• 20/05/25
  • [Coq-Club] Reasoning about equalities of equalities, Talia Ringer
  • Re: [Coq-Club] Reasoning about equalities of equalities, Jason Gross
  • Re: [Coq-Club] Reasoning about equalities of equalities, jonikelee AT gmail.com
• 20/05/26
  • [Coq-Club] TEASE-LP - Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020, Henning Basold
  • Re: [Coq-Club] Get rid of "suggest Proof using" warning in new Proof General, Pierre Courtieu
• 20/05/27
  • [Coq-Club] How do I simplify a particular redex exactly once?, Agnishom Chattopadhyay
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, jonikelee AT gmail.com
  • [Coq-Club] Fw: How do I simplify a particular redex exactly once?, jonikelee AT gmail.com
• 20/05/28
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, jonikelee AT gmail.com
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, Jan-Oliver Kaiser
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, Agnishom Chattopadhyay
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, Maximilian Wuttke
  • [Coq-Club] Second Call For Papers, SYNASC 2020
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, Yannick Forster
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, Agnishom Chattopadhyay
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, Clément Pit-Claudel
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, Christian Doczkal
  • Re: [Coq-Club] How do I simplify a particular redex exactly once?, jonikelee AT gmail.com
• 20/05/29
  • Re: [Coq-Club] In a world of perfect interoperability between proof assistants, what tools would you combine?, Heiko Becker

Archive powered by MHonArc 2.6.19+.