Introducing mathematics undergraduate students to the theorem prover lean
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Zsofia Csepely : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04406679
Soumis le : vendredi 19 janvier 2024-20:10:52
Dernière modification le : mardi 16 avril 2024-13:25:57