#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 13 (Desigualdad triangular inversa: ||x| - |y|| ≤ |x - y|). https://jaalonso.github.io/calculemus/posts/2026/08/09-desigualdad_triangular_inversa/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 13 (Desigualdad triangular inversa: ||x| - |y|| ≤ |x - y|). https://jaalonso.github.io/calculemus/posts/2026/08/09-desigualdad_triangular_inversa/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 13 (Desigualdad triangular inversa: ||x| - |y|| ≤ |x - y|). https://jaalonso.github.io/calculemus/posts/2026/08/09-desigualdad_triangular_inversa/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 13 (Desigualdad triangular inversa: ||x| - |y|| ≤ |x - y|). https://jaalonso.github.io/calculemus/posts/2026/08/09-desigualdad_triangular_inversa/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 13 (Desigualdad triangular inversa: ||x| - |y|| ≤ |x - y|). https://jaalonso.github.io/calculemus/posts/2026/08/09-desigualdad_triangular_inversa/ #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 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