#Vestigium: Formalización del libro "Calculus" de Spivak en Lean 4. jaalonso.github.io/vestigium/po... #LeanProver #ITP #AI4Math
@jalonso.eurosky.socialExplore
@jalonso.eurosky.social@jalonso.eurosky.social#Vestigium: Lista de usos y expectativas de la IA en matemáticas. jaalonso.github.io/vestigium/po... #AI4Math