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/02
118 mails
Chronological Thread << < page # 4/4 > >>
- 17/02/17
- [Coq-Club] VSTTE 2017 - First Call for Papers, Andrei Paskevich
- [Coq-Club] CALL FOR PAPERS - GraMSec 2017, Harley D. Eades III
- 17/02/18
- 17/02/20
- [Coq-Club] DICE-FOPARA 2017: Deadline Extended, Georg Moser
- 17/02/21
- [Coq-Club] TAP 2017: Extended Deadlines, Alain Giorgetti
- Re: [Coq-Club] Computers special issue - Formal Integrated Development Environments - CANCELLED, dubois
- [Coq-Club] Question about maximum operation for universe levels in Coq, Erik Palmgren
- [Coq-Club] TYPES 2017 2nd call for contributions, Ambrus Kaposi
- 17/02/22
- [Coq-Club] CFP Thedu 2017, Burkhart Wolff
- [Coq-Club] Formalization of Geometry, Automated and Interactive Geometric Reasoning, Geoff Sutcliffe
- Re: [Coq-Club] Question about maximum operation for universe levels in Coq, Bas Spitters
- Re: [Coq-Club] Coq term parsers, Emilio Jesús Gallego Arias
- 17/02/23
- 17/02/24
- [Coq-Club] Context menu in Proof General, Paul A. Steckler
- 17/02/25
- Re: [Coq-Club] Context menu in Proof General, Théo Zimmermann
- [Coq-Club] Implicit arguments/Notations, Anthony Bordg
- Re: [Coq-Club] Implicit arguments/Notations, Emilio Jesús Gallego Arias
- Re: [Coq-Club] Implicit arguments/Notations, Anthony Bordg
- 17/02/27
- [Coq-Club] Call for participation: Workshop on Computer-aided Mathematical Proof, Cambridge UK, 10-14 July 2017, Jeremy Avigad
- [Coq-Club] Plugin tutorial for traversing the Gallina AST, Talia Ringer
- [Coq-Club] Marktoberdorf Summer School: Call for Participation, Tobias Nipkow
- Re: [Coq-Club] Context menu in Proof General, Paul A. Steckler
- [Coq-Club] injectivity of inductive type implies False, Cristóbal Camarero Coterillo
- 17/02/28
- Re: [Coq-Club] injectivity of inductive type implies False, Guillaume Melquiond
- [Coq-Club] adventures in setoid_rewrite, Vadim Zaliva
- Re: [Coq-Club] injectivity of inductive type implies False, Chung-Kil Hur
- Re: [Coq-Club] adventures in setoid_rewrite, Jason Gross
- Re: [Coq-Club] adventures in setoid_rewrite, Vadim Zaliva
Archive powered by MHonArc 2.6.18.