#calculemus — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #calculemus, aggregated by home.social.
-
#Calculemus: Demostraciones con Lean 4 del Reto 19 (Las sucesiones convergentes son sucesiones de Cauchy). https://jaalonso.github.io/calculemus/posts/2026/09/16-las_sucesiones_convergentes_son_sucesiones_de_cauchy_v2/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 19 (Las sucesiones convergentes son sucesiones de Cauchy). https://jaalonso.github.io/calculemus/posts/2026/09/16-las_sucesiones_convergentes_son_sucesiones_de_cauchy_v2/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 19 (Las sucesiones convergentes son sucesiones de Cauchy). https://jaalonso.github.io/calculemus/posts/2026/09/16-las_sucesiones_convergentes_son_sucesiones_de_cauchy_v2/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 19 (Las sucesiones convergentes son sucesiones de Cauchy). https://jaalonso.github.io/calculemus/posts/2026/09/16-las_sucesiones_convergentes_son_sucesiones_de_cauchy_v2/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 19 (Las sucesiones convergentes son sucesiones de Cauchy). https://jaalonso.github.io/calculemus/posts/2026/09/16-las_sucesiones_convergentes_son_sucesiones_de_cauchy_v2/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 12 (Si aₙ → L, bₙ → M y L < M, entonces eventualmente aₙ < bₙ). https://jaalonso.github.io/calculemus/posts/2026/07/27-eventualmente_menor_de_limsuc_menor/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 12 (Si aₙ → L, bₙ → M y L < M, entonces eventualmente aₙ < bₙ). https://jaalonso.github.io/calculemus/posts/2026/07/27-eventualmente_menor_de_limsuc_menor/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 12 (Si aₙ → L, bₙ → M y L < M, entonces eventualmente aₙ < bₙ). https://jaalonso.github.io/calculemus/posts/2026/07/27-eventualmente_menor_de_limsuc_menor/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 12 (Si aₙ → L, bₙ → M y L < M, entonces eventualmente aₙ < bₙ). https://jaalonso.github.io/calculemus/posts/2026/07/27-eventualmente_menor_de_limsuc_menor/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 12 (Si aₙ → L, bₙ → M y L < M, entonces eventualmente aₙ < bₙ). https://jaalonso.github.io/calculemus/posts/2026/07/27-eventualmente_menor_de_limsuc_menor/ #LeanProver #ITP #Math