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
2016/05
181 mails
Chronological Thread << < page # 5/7 > >>
- 16/05/21
- [Coq-Club] CFP Synasc 2016, Timisoara, Romania, Isabela Dramnesc
- 16/05/23
- [Coq-Club] Intuition tactic sometimes runs very slow, scott constable
- Re: [Coq-Club] Intuition tactic sometimes runs very slow, Matthieu Sozeau
- Re: [Coq-Club] Intuition tactic sometimes runs very slow, Tej Chajed
- 16/05/24
- [Coq-Club] 1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages), publicityifl
- [Coq-Club] Could use some advice on notation in SequentCalculus library development, Daniel Schepler
- Re: [Coq-Club] Could use some advice on notation in SequentCalculus library development, Gabriel Scherer
- Re: [Coq-Club] Could use some advice on notation in SequentCalculus library development, Daniel Schepler
- 16/05/26
- [Coq-Club] subst surprise, Jonathan Leivent
- Re: [Coq-Club] subst surprise, Cyprien Mangin
- [Coq-Club] CFP: Workshop on Type-driven Development (TyDe '16), Wouter Swierstra
- [Coq-Club] induction n m?, Kwanghoon Choi
- 16/05/27
- [Coq-Club] induction n,m ?, Kwanghoon Choi
- 16/05/28
- [Coq-Club] Proof irrelevant Specif?, Fred Smith
- Re: [Coq-Club] Proof irrelevant Specif?, Robbert Krebbers
- Re: [Coq-Club] 1-year teaching / research position, 1337 777
- Re: [Coq-Club] Proof irrelevant Specif?, Emilio Jesús Gallego Arias
- Re: [Coq-Club] Proof irrelevant Specif?, Emilio Jesús Gallego Arias
- Re: [Coq-Club] Proof irrelevant Specif?, Fred Smith
- Re: [Coq-Club] Proof irrelevant Specif?, Emilio Jesús Gallego Arias
- [Coq-Club] LEM variants vs. proof relevance, Jonathan Leivent
- Re: [Coq-Club] LEM variants vs. proof relevance, Gérard Huet
- Re: [Coq-Club] LEM variants vs. proof relevance, Jonathan Leivent
- Re: [Coq-Club] LEM variants vs. proof relevance, Jonathan Leivent
- Re: [Coq-Club] LEM variants vs. proof relevance, Arnaud Spiwack
- Re: [Coq-Club] LEM variants vs. proof relevance, Jonathan Leivent
- 16/05/29
- Re: [Coq-Club] LEM variants vs. proof relevance, Jason Gross
- Re: [Coq-Club] LEM variants vs. proof relevance, Jonathan Leivent
- Re: [Coq-Club] LEM variants vs. proof relevance, Jason Gross
- Re: [Coq-Club] LEM variants vs. proof relevance, Jonathan Leivent
Archive powered by MHonArc 2.6.18.