coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2017/03
122 mails
Chronological Thread << < page # 4/5 > >>
- Re: [Coq-Club] Any proof assistant for Observational Type Theory?, (continued)
- Re: [Coq-Club] Any proof assistant for Observational Type Theory?, Bas Spitters, 03/21/2017
- Re: [Coq-Club] Any proof assistant for Observational Type Theory?, Roman, 03/24/2017
- Re: [Coq-Club] Any proof assistant for Observational Type Theory?, Ilmārs Cīrulis, 03/24/2017
- Re: [Coq-Club] Any proof assistant for Observational Type Theory?, Roman, 03/24/2017
- Re: [Coq-Club] Any proof assistant for Observational Type Theory?, Bas Spitters, 03/21/2017
- Re: [Coq-Club] 公鸡是在复旦的《IAS》从3月23日到4月7日 Are there any tools that implement the refinement rules in the book "programming from specification"?, 1337777.OOO, 03/22/2017
- [Coq-Club] Second order logic library?, Caitlin McGregor, 03/23/2017
- Re: [Coq-Club] Second order logic library?, Adam Chlipala, 03/23/2017
- Re: [Coq-Club] Second order logic library?, Caitlin McGregor, 03/23/2017
- Re: [Coq-Club] Second order logic library?, Pierre Courtieu, 03/23/2017
- Re: [Coq-Club] Second order logic library?, Caitlin McGregor, 03/23/2017
- Re: [Coq-Club] Second order logic library?, Asya Bergal, 03/23/2017
- Re: [Coq-Club] Second order logic library?, Asya Bergal, 03/23/2017
- Re: [Coq-Club] Second order logic library?, Anders Lundstedt, 03/24/2017
- Re: [Coq-Club] Second order logic library?, Caitlin McGregor, 03/27/2017
- Re: [Coq-Club] Second order logic library?, Caitlin McGregor, 03/23/2017
- Re: [Coq-Club] Second order logic library?, Adam Chlipala, 03/23/2017
- [Coq-Club] A question regarding Coq rational arithmetic, Milad Ketabii, 03/23/2017
- Re: [Coq-Club] A question regarding Coq rational arithmetic, Abhishek Anand, 03/23/2017
- Re: [Coq-Club] A question regarding Coq rational arithmetic, Laurent Thery, 03/23/2017
- [Coq-Club] 30th International Workshop on Description Logics - Call for Papers, Geoff Sutcliffe, 03/24/2017
- [Coq-Club] using Ltac to retrieve the name of an induction principle from the type, Nicolas Magaud, 03/24/2017
- Re: [Coq-Club] using Ltac to retrieve the name of an induction principle from the type, Beta Ziliani, 03/24/2017
- Re: [Coq-Club] using Ltac to retrieve the name of an induction principle from the type, Pierre Courtieu, 03/25/2017
- [Coq-Club] LPAR-21 in Botswana - Come join us!, Geoff Sutcliffe, 03/24/2017
- [Coq-Club] Two PhD positions on CakeML and HOL at Chalmers, Sweden, Magnus Myreen, 03/27/2017
- [Coq-Club] Proving complex properties of Fixpoint's for all Ns greater than a value, Igor Jirkov, 03/27/2017
- Re: [Coq-Club] Proving complex properties of Fixpoint's for all Ns greater than a value, Adam Chlipala, 03/27/2017
- Re: [Coq-Club] Proving complex properties of Fixpoint's for all Ns greater than a value, Igor Jirkov, 03/27/2017
- Re: [Coq-Club] Proving complex properties of Fixpoint's for all Ns greater than a value, Igor Jirkov, 03/27/2017
- Re: [Coq-Club] Proving complex properties of Fixpoint's for all Ns greater than a value, Guillaume Melquiond, 03/28/2017
- Re: [Coq-Club] Proving complex properties of Fixpoint's for all Ns greater than a value, Adam Chlipala, 03/27/2017
- [Coq-Club] Two PhD positions in Ljubljana starting October 2017, Andrej Bauer, 03/28/2017
- [Coq-Club] JAR Special Issue on Automated Reasoning Systems, Geoff Sutcliffe, 03/28/2017
- [Coq-Club] Encyclopedia of Proof Systems - Call for Contributions, Geoff Sutcliffe, 03/28/2017
Archive powered by MHonArc 2.6.18.