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
2015/12
121 mails
Chronological Thread << < page # 3/5 > >>
- 15/12/11
- Re: [Coq-Club] Co-inductive Streams vs. Functions, Emilio Jesús Gallego Arias
- Re: [Coq-Club] Co-inductive Streams vs. Functions, Gregory Malecha
- Re: [Coq-Club] Co-inductive Streams vs. Functions, Gregory Malecha
- Re: [Coq-Club] Some questions on interface with coqtop, Gregory Malecha
- [Coq-Club] section variables and asynchronous proof checking, Abhishek Anand
- Re: [Coq-Club] Co-inductive Streams vs. Functions, Eddy Westbrook
- 15/12/12
- Re: [Coq-Club] Some questions on interface with coqtop, Jonathan Leivent
- Re: [Coq-Club] section variables and asynchronous proof checking, Enrico Tassi
- Re: [Coq-Club] Some questions on interface with coqtop, Gregory Malecha
- Re: [Coq-Club] Co-inductive Streams vs. Functions, Benedikt Ahrens
- Re: [Coq-Club] section variables and asynchronous proof checking, Abhishek Anand
- Re: [Coq-Club] make error for geocoq, Julien Narboux
- Re: [Coq-Club] is there an example about data mining new geometry theorems with geo coq github and translate proof into a polynomials system, Julien Narboux
- 15/12/13
- Re: [Coq-Club] Some questions on interface with coqtop, Épiphanie
- Re: [Coq-Club] Some questions on interface with coqtop, Jonathan Leivent
- 15/12/14
- Re: [Coq-Club] is there an example about data mining new geometry theorems with geo coq github and translate proof into a polynomials system, Martin Mandy
- RE: [Coq-Club] is there an example about data mining new geometry theorems with geo coq github and translate proof into a polynomials system, Mandy Martino
- Re: [Coq-Club] is there an example about data mining new geometry theorems with geo coq github and translate proof into a polynomials system, Pierre Courtieu
- [Coq-Club] PhD scholarship on foundations of meta-programming, Martin Berger
- [Coq-Club] Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016, Serge Autexier
- [Coq-Club] ITP 2016: Call for Papers, Jasmin Blanchette
- 15/12/15
- [Coq-Club] [ANN] Ssreflect/MathComp 1.6 released, Enrico Tassi
- [Coq-Club] [JFLA'16] Call for participation, Jean-Marie Madiot
- 15/12/16
- [Coq-Club] Axioms in default hint databases, Gregory Malecha
- Re: [Coq-Club] Axioms in default hint databases, Jonathan Leivent
- Re: [Coq-Club] Axioms in default hint databases, Matthieu Sozeau
- RE: [Coq-Club] Axioms in default hint databases, Soegtrop, Michael
- 15/12/17
- [Coq-Club] Dependent Type Problem, Gert Smolka
- Re: [Coq-Club] Dependent Type Problem, Abhishek Anand
- [Coq-Club] CiE 2016: final CfP EXTENDED DEADLINE, CiE Conference Series
Archive powered by MHonArc 2.6.18.