Accéder directement au contenu

Julien Narboux

Enseignant-Chercheur, Université de Strasbourg, Laboratoire ICube
3
Documents
Identifiants chercheurs

Publications

"antoine-meyer"

Underlying theories of proof assistants and potential impact on the teaching and learning of proof

Evmorfia-Iro Bartzia , Emmanuel Beffara , Antoine Meyer , Julien Narboux
12th International Workshop on Theorem proving components for Educational software, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2023, Rome, Italy
Communication dans un congrès hal-04227823v1
Image document

Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis

Evmorfia Bartzia , Antoine Meyer , Julien Narboux
INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics, Reinhard Hochmuth, Oct 2022, Hanovre, Germany
Communication dans un congrès hal-03648357v2