Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-17 11:32:24 EDT

PhotosVideosAllPeople
LatestRanked
@jalonso.eurosky.socialSep 27, 2026, 11:13 AM

#Vestigium: Formalización del libro "Calculus" de Spivak en Lean 4. jaalonso.github.io/vestigium/po... #LeanProver #ITP #AI4Math

@jalonso.eurosky.socialSep 23, 2026, 9:15 AM

#Vestigium: Lista de usos y expectativas de la IA en matemáticas. jaalonso.github.io/vestigium/po... #AI4Math