Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education
Origine : Fichiers produits par l'(les) auteur(s)