Clara Sisco

La preuve est une grande source de difficulté au début de l'université. Ma thèse porte sur l'usage des assistants de preuve avec des étudiants de L1. Je commencerai par présenter la problématique de l'adaptation des assistants de preuve pour des usages d'enseignement. Ces adaptations seront illustrées avec deux exemples : Verbose (développé par Patrick Massot) et Deaduction (développé par Frédéric Leroux). Je présenterai ensuite des exemples d'usages à Paris-Sud, Paris Cité et Sorbonne science. Pour finir, je vous présenterai nos premières hypothèses sur les effets de ces outils sur les productions papier-crayon des étudiants.