Publicaciones sobre Teaching

11-06-2025Reseña de 'LeanTutor: A formally-verified AI tutor for mathematical proofs'
09-05-2025Readings shared May 9, 2025
27-12-2024Readings shared December 27, 2024