coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Freek Wiedijk <freek AT cs.ru.nl>
To: Wolfram Kahl <kahl AT cas.mcmaster.ca>
Cc: Kristopher Micinski <krismicinski AT gmail.com>, Jonas Oberhauser <s9joober AT gmail.com>, coq-club AT inria.fr
Subject: Re: [Coq-Club] Interest in Coq-based mathematics classes?
Date: Thu, 20 Sep 2012 13:02:50 +0200

Hi,

Did anyone in this thread already mention René David and
Christophe Rafalli's "An experiment concerning mathematical
proofs on computers with French undergraduate students",
and slides "Some considerations about proof assistants
for education"? That's not about a Coq but about a PhoX,
but maybe still relevant/interesting?

http://www.lama.univ-savoie.fr/~david/ftp/experiment.ps
http://www.lama.univ-savoie.fr/~david/ftp/pate07.pdf

Freek

Re: [Coq-Club] Interest in Coq-based mathematics classes?, (continued)
- 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
  - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Daniel Schepler, 09/24/2012
    - Re: [Coq-Club] Interest in Coq-based mathematics classes?, bertot, 09/25/2012
      - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Daniel Schepler, 09/25/2012
        
        Re: [Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala, 09/25/2012
        
        Re: [Coq-Club] Interest in Coq-based mathematics classes?, Daniel Schepler, 09/25/2012
        
        Re: [Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala, 09/26/2012
      - Re: [Coq-Club] Interest in Coq-based mathematics classes?, Adam Chlipala, 09/26/2012
        
        Re: [Coq-Club] Interest in Coq-based mathematics classes?, Jason Gross, 09/27/2012