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
2019/08
91 mails
Chronological Thread << < page # 3/4 > >>
- 19/08/21
- Re: [Coq-Club] Struggling to convert a simple Program Fixpoint using just induction and exact into a Fixpoint with match, Laurent Thery
- Re: [Coq-Club] Interleaving lia/omega/other, Emilio Jesús Gallego Arias
- RE: [Coq-Club] Interleaving lia/omega/other, Soegtrop, Michael
- [Coq-Club] Can one define an implicit coercion from a 1x1 matrix to a scalar?, Soegtrop, Michael
- Re: [Coq-Club] Interleaving lia/omega/other, Robert Rand
- 19/08/22
- [Coq-Club] Termination checker for structural recursion, Vincent Semeria
- Re: [Coq-Club] Termination checker for structural recursion, Gaëtan Gilbert
- [Coq-Club] proof-general/company-coq: always keeping goal window in sync, Abhishek Anand
- Re: [Coq-Club] proof-general/company-coq: always keeping goal window in sync, Yannick Zakowski
- 19/08/23
- [Coq-Club] ITP 2019: Final Call for Participation, O'Leary, John W
- Re: [Coq-Club] proof-general/company-coq: always keeping goal window in sync, Christian Doczkal
- Re: [Coq-Club] proof-general/company-coq: always keeping goal window in sync, Pierre Courtieu
- 19/08/26
- [Coq-Club] AIIA 2019 Doctoral Consortium, Luca Pulina
- Re: [Coq-Club] Strict positivity description in CIC spec, Stefan Monnier
- Re: [Coq-Club] Strict positivity description in CIC spec, Gaëtan Gilbert
- [Coq-Club] First call for participation for IFL 2019 (Implementation and Application of Functional Languages), Jurriaan Hage
- [Coq-Club] GCAI 2020, Hangzhou, China - Call for Papers, geoff
- [Coq-Club] PhD student position on formal verification of legal software, Barcelona (Spain), Deadline: 5 Sep 2019 - Final call for applications, Ana Borges
- Re: [Coq-Club] Strict positivity description in CIC spec, Stefan Monnier
- 19/08/27
- [Coq-Club] Singleton with sets as characteristic functions in classical logic, richard dapoigny
- [Coq-Club] simpl problem, Abhishek Anand
- Re: [Coq-Club] simpl problem, Laurent Thery
- Re: [Coq-Club] Singleton with sets as characteristic functions in classical logic, Daniel Schepler
- Re: [Coq-Club] Singleton with sets as characteristic functions in classical logic, richard dapoigny
- Re: [Coq-Club] Singleton with sets as characteristic functions in classical logic, Christian Doczkal
- [Coq-Club] TPTP v7.3.0 released, geoff
- [Coq-Club] Unset Printing Notations xyz_scope., Abhishek Anand
- Re: [Coq-Club] Unset Printing Notations xyz_scope., Théo Zimmermann
- 19/08/28
Archive powered by MHonArc 2.6.18.