Utilisation des assistants de preuves pour l’enseignement en L1: Retours d’expériences

Marie Kerjean; Frédéric Le Roux; Patrick Massot; Micaela Mayero; Zoé Mesnil; Simon Modeste; Julien Narboux; Pierre Rousselin

Utilisation des assistants de preuves pour l’enseignement en L1: Retours d’expériences

Journal article

Open access

Utilisation des assistants de preuves pour l’enseignement en L1: Retours d’expériences

Marie Kerjean, Frédéric Le Roux, Patrick Massot, Micaela Mayero, Zoé Mesnil, Simon Modeste, Julien Narboux and Pierre Rousselin

La Gazette de la Société mathématique de France, Vol.174

10/2022

Abstract

Proof assistant

Teaching/Learning

proof

proving

assistant de preuve

enseignement de la démonstration

Utilisation des assistants de preuves pour l'enseignement en L1 Utilisation des assistants de preuves pour l'enseignement en L1 Retours d'expériences Nous rendons compte de cinq expériences récentes de l'enseignement de la démonstration utilisant les assistants de preuve Coq, D∃∀DUCTION, Edukera et Lean.

Files and links (1)

url

Find in HALView

Metrics

1 Record Views

Details

Title: Utilisation des assistants de preuves pour l’enseignement en L1
Creators - without role: Marie Kerjean - Laboratoire d'Informatique de Paris-Nord
Frédéric Le Roux - Institut de Mathématiques de Jussieu-Paris Rive Gauche
Patrick Massot - Université Paris-Saclay
Micaela Mayero - Laboratoire d'Informatique de Paris-Nord
Zoé Mesnil - Laboratoire de Didactique André Revuz
Simon Modeste - Université de Montpellier, Institut Montpelliérain Alexander Grothendieck - IMAG
Julien Narboux - Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie
Pierre Rousselin - Laboratoire Analyse, Géométrie et Applications
Publication Details: La Gazette de la Société mathématique de France, Vol.174
Identifiers: 9933943309311
Academic Unit: Institut Montpelliérain Alexander Grothendieck - IMAG
Language: French
Resource Type: Journal article
Local Fields: hal-03979238