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
2013/11
187 mails
Chronological Thread << < page # 6/7 > >>
- Re: [Coq-Club] print coq proof states?, (continued)
- Re: [Coq-Club] print coq proof states?, Abhishek Anand, 11/21/2013
- Re: [Coq-Club] print coq proof states?, Matthieu Sozeau, 11/21/2013
- Re: [Coq-Club] print coq proof states?, Daniel Schepler, 11/21/2013
- Re: [Coq-Club] print coq proof states?, Kristopher Micinski, 11/21/2013
- Re: [Coq-Club] print coq proof states?, Adam Chlipala, 11/21/2013
- [Coq-Club] newb question regarding Prop, t x, 11/20/2013
- Re: [Coq-Club] newb question regarding Prop, Abhishek Anand, 11/20/2013
- Re: [Coq-Club] newb question regarding Prop, Abhishek Anand, 11/20/2013
- Re: [Coq-Club] newb question regarding Prop, Jason Gross, 11/20/2013
- Re: [Coq-Club] newb question regarding Prop, Abhishek Anand, 11/20/2013
- Re: [Coq-Club] newb question regarding Prop, Jason Gross, 11/20/2013
- Re: [Coq-Club] newb question regarding Prop, Abhishek Anand, 11/20/2013
- [Coq-Club] practical coq extraction question, Nuno Gaspar, 11/20/2013
- Re: [Coq-Club] practical coq extraction question, Nuno Gaspar, 11/20/2013
- [Coq-Club] Call for participation: PLPV 2014, Nils Anders Danielsson, 11/20/2013
- [Coq-Club] feature requests related to notations, coercions, inference, scopes, Frédéric Chyzak, 11/20/2013
- [Coq-Club] Job announcement: formal methods engineer, Hendrik Tews, 11/21/2013
- [Coq-Club] Representing and proving things about concrete structures, Daniil Frumin, 11/21/2013
- [Coq-Club] Fwd: [coqdev] Fw: [personnel-sif] INFORMATION IMPORTANTE SIC et DSI - coupure du réseau Wan (externe) bâtiment Alan Turing Inria Saclay le 21 novembre 2013 de 17h à 23h, Pierre-Marie Pédrot, 11/21/2013
- [Coq-Club] Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop., Alan Schmitt, 11/22/2013
- [Coq-Club] First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014), Serge Autexier, 11/22/2013
- [Coq-Club] Using different kinds of modules, Daniil Frumin, 11/22/2013
- [Coq-Club] SSTiC 2014: 1st announcement, GRLMC, 11/23/2013
- [Coq-Club] sig_rect, Terrell, Jeffrey, 11/24/2013
- Re: [Coq-Club] sig_rect, Adam Chlipala, 11/24/2013
- Re: [Coq-Club] sig_rect, Hugo Herbelin, 11/25/2013
- [Coq-Club] Defining Coq(w/o Prop) in Agda using Induction Recursion, Abhishek Anand, 11/26/2013
- Re: [Coq-Club] [Agda] Defining Coq(w/o Prop) in Agda using Induction Recursion, Nils Anders Danielsson, 11/26/2013
- [Coq-Club] When I need transparency, Kevin Sullivan, 11/26/2013
- Re: [Coq-Club] When I need transparency, Vilhelm Sjöberg, 11/26/2013
- Re: [Coq-Club] When I need transparency, Kevin Sullivan, 11/26/2013
- Re: [Coq-Club] When I need transparency, Arnaud Spiwack, 11/26/2013
- Re: [Coq-Club] When I need transparency, Kevin Sullivan, 11/26/2013
- Re: [Coq-Club] When I need transparency, Vilhelm Sjöberg, 11/26/2013
Archive powered by MHonArc 2.6.18.