Julien Narboux
Enseignant-Chercheur, Université de Strasbourg, Laboratoire ICube
3
Documents
Identifiants chercheurs
- julien-narboux
- IdRef : 111206480
- 0000-0003-3527-7184
Publications
- 3
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Underlying theories of proof assistants and potential impact on the teaching and learning of proof12th 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
|
|
|
Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysisINDRUM 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
|
|
Proof assistants for undergraduate mathematics education: elements of an a priori analysis2023
Pré-publication, Document de travail
hal-04087080v1
|