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
2018/05
241 mails
Chronological Thread << < page # 8/9 > >>
- 18/05/21
- [Coq-Club] Autumn school "Proof and Computation", Chuangjie Xu
- 18/05/22
- Re: [Coq-Club] Is there a micromega or omega tactic for axiomatic Z?, Théo Zimmermann
- [Coq-Club] First Call for Papers: FSEN 2019, Maurice ter Beek
- RE: [Coq-Club] Is there a micromega or omega tactic for axiomatic Z?, Soegtrop, Michael
- Re: [Coq-Club] Is there a micromega or omega tactic for axiomatic Z?, Théo Zimmermann
- 18/05/23
- [Coq-Club] SYNASC 2018 - Second Call for Papers, SYNASC 2018
- [Coq-Club] CASC-J9 - the ATP System Competition, geoff
- [Coq-Club] Conditionally apply a multi-goal tactic?, Kevin Hamlen
- RE: [Coq-Club] Conditionally apply a multi-goal tactic?, Jason -Zhong Sheng- Hu
- 18/05/24
- Re: [Coq-Club] Conditionally apply a multi-goal tactic?, Kevin Hamlen
- Re: [Coq-Club] Conditionally apply a multi-goal tactic?, Jason -Zhong Sheng- Hu
- Re: [Coq-Club] Conditionally apply a multi-goal tactic?, Kevin Hamlen
- Re: [Coq-Club] Conditionally apply a multi-goal tactic?, Jason -Zhong Sheng- Hu
- [Coq-Club] Why does CIC have substitution?, William J. Bowman
- Re: [Coq-Club] Conditionally apply a multi-goal tactic?, Kevin Hamlen
- 18/05/25
- RE: [Coq-Club] Is there a micromega or omega tactic for axiomatic Z?, Soegtrop, Michael
- Re: [Coq-Club] Why does CIC have substitution?, Matthieu Sozeau
- Re: [Coq-Club] Is there a micromega or omega tactic for axiomatic Z?, Théo Zimmermann
- Re: [Coq-Club] Why does CIC have substitution?, Thorsten Altenkirch
- RE: [Coq-Club] Is there a micromega or omega tactic for axiomatic Z?, Soegtrop, Michael
- [Coq-Club] Decidable equality of propositions implies proof irrelevance, Dominik Kirst
- Re: [Coq-Club] Decidable equality of propositions implies proof irrelevance, Dominik Kirst
- [Coq-Club] Open Ph.D. position in Runtime Verification and Monitoring at ETH Zürich, Dmitriy Traytel
- 18/05/26
- [Coq-Club] Tactic Notation conflict with default tactic, Cao Qinxiang
- Re: [Coq-Club] Why does CIC have substitution?, William J. Bowman
- Re: [Coq-Club] Why does CIC have substitution?, Matthieu Sozeau
- Re: [Coq-Club] Tactic Notation conflict with default tactic, Hugo Herbelin
- Re: [Coq-Club] Tactic Notation conflict with default tactic, Cao Qinxiang
- Re: [Coq-Club] Why does CIC have substitution?, William J. Bowman
- [Coq-Club] HoTT ideas already present in CIC?, Siddharth Bhat
Archive powered by MHonArc 2.6.18.