coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Interest in Coq-based mathematics classes?

From: "Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>
To: Kristopher Micinski <krismicinski AT gmail.com>
Cc: Adam Chlipala <adamc AT csail.mit.edu>, Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Interest in Coq-based mathematics classes?
Date: Mon, 17 Sep 2012 19:26:08 -0400

… and it seems the SF book also benefited
(to some extent) by external contributions too.

Yes, to a huge extent!

- Benjamin

[Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala, 09/17/2012
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, immanuel litzroth, 09/17/2012
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Andrej Bauer, 09/17/2012
  - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Kristopher Micinski, 09/17/2012
    - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Edward Z. Yang, 09/18/2012
      - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Pierce Benjamin C., 09/18/2012
        
        Re: [Coq-Club] Interest in Coq-based mathematics classes?, Kristopher Micinski, 09/18/2012
        
        Re: [Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala, 09/18/2012
        
        Re: [Coq-Club] Interest in Coq-based mathematics classes?, Kristopher Micinski, 09/18/2012
        Re: [Coq-Club] Interest in Coq-based mathematics classes?, Benjamin C. Pierce, 09/18/2012
    - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Benjamin Werner, 09/18/2012
      - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Pierre Courtieu, 09/18/2012
      - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala, 09/19/2012
  - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala, 09/19/2012
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Jonas Oberhauser, 09/20/2012
  - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Kristopher Micinski, 09/20/2012
    - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Wolfram Kahl, 09/20/2012
      - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Freek Wiedijk, 09/20/2012
    - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Jonas Oberhauser, 09/20/2012
- Re: [Coq-Club] Interest in Coq-based mathematics classes?, Julien Narboux, 09/20/2012