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/11
91 mails
Chronological Thread << < page # 2/4 > >>
- 19/11/13
- [Coq-Club] Final CfP: TYPES 2019 post-proceedings, deadline 24.11, Marc . Bezem
- [Coq-Club] Founding Engineer opportunities at trusted compute startup -- BedRock Systems, Gregory Malecha
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Dan Christensen
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Clément Pit-Claudel
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Samuel Gruetter
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Dan Christensen
- 19/11/14
- [Coq-Club] PUMPKIN PATCH now has some basic refactoring support, Talia Ringer
- Re: [Coq-Club] PUMPKIN PATCH now has some basic refactoring support, Talia Ringer
- [Coq-Club] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education), Jurriaan Hage
- [Coq-Club] International Symposium on Artificial Intelligence and Mathematics 2020, geoff
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Dan Christensen
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Jason Gross
- 19/11/15
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Dan Christensen
- [Coq-Club] Barry Cooper Prize - Call for Nominations, Gianluca Della Vedova
- [Coq-Club] TTCS 2020 - Call for papers, Renato Neves
- [Coq-Club] FLOPS 2020: DEADLINE EXTENSION (abstract 22 Nov, full paper 29 Nov), Keisuke Nakano
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Dan Christensen
- [Coq-Club] ECI 2020: DEADLINE EXTENSION (22 Nov 19) - Call for course proposals, Alejandro Díaz-Caro
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Dan Christensen
- Re: [Coq-Club] rewriting in an equality without eq_ind_r / transport, Gaëtan Gilbert
- 19/11/16
- 19/11/19
- [Coq-Club] Typeclasses & Modules, Vadim Zaliva
- Re: [Coq-Club] Typeclasses & Modules, Claude Stolze
- Re: [Coq-Club] Typeclasses & Modules, Clément Pit-Claudel
- [Coq-Club] Summer internship with a Coq-related project (DAAD Rise Germany), Niels Bunkenburg
- [Coq-Club] ICGT 2020: Preliminary call for papers, Timo Kehrer
- Re: [Coq-Club] Typeclasses & Modules, Vadim Zaliva
- [Coq-Club] ICALP-LICS 2020 Second Call for Workshops, Sam Staton
Archive powered by MHonArc 2.6.18.