Accéder directement au contenu

Julien Narboux

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

Publications

"emmanuel-beffara"

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