cloud.killer social

#ai4math

In the cloud.killer community.

Members can post here. Sign in with pit.world: the one account for every *.pit.world site.

@jalonso.eurosky.social network 22h

Weekly reads: Nov 2 – Nov 9, 2026.

EN: jaalonso.github.io/vestigium/en...

ES: jaalonso.github.io/vestigium/po...

#AI #AI4Math #Autoformalization #IsabelleHOL #ITP #Lean4Challenge #LeanProver #Logic #Math

Weekly reads: Nov 2 – Nov 9, 2026 jaalonso.github.io