#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 15 (Existe un k ∈ ℕ tal que, para todo n ∈ ℕ, (n + k)² ≤ 2ⁿ⁺ᵏ). https://jaalonso.github.io/calculemus/posts/2026/08/18-existe_k_cuadrado_acotado_por_potencia_de_dos/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 15 (Existe un k ∈ ℕ tal que, para todo n ∈ ℕ, (n + k)² ≤ 2ⁿ⁺ᵏ). https://jaalonso.github.io/calculemus/posts/2026/08/18-existe_k_cuadrado_acotado_por_potencia_de_dos/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 15 (Existe un k ∈ ℕ tal que, para todo n ∈ ℕ, (n + k)² ≤ 2ⁿ⁺ᵏ). https://jaalonso.github.io/calculemus/posts/2026/08/18-existe_k_cuadrado_acotado_por_potencia_de_dos/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 15 (Existe un k ∈ ℕ tal que, para todo n ∈ ℕ, (n + k)² ≤ 2ⁿ⁺ᵏ). https://jaalonso.github.io/calculemus/posts/2026/08/18-existe_k_cuadrado_acotado_por_potencia_de_dos/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 15 (Existe un k ∈ ℕ tal que, para todo n ∈ ℕ, (n + k)² ≤ 2ⁿ⁺ᵏ). https://jaalonso.github.io/calculemus/posts/2026/08/18-existe_k_cuadrado_acotado_por_potencia_de_dos/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 14 (Para todo n ∈ ℕ, 2n + 9 ≤ 2ⁿ⁺⁴). https://jaalonso.github.io/calculemus/posts/2026/08/09-dos_n_mas_nueve_acotado_por_potencia/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 14 (Para todo n ∈ ℕ, 2n + 9 ≤ 2ⁿ⁺⁴). https://jaalonso.github.io/calculemus/posts/2026/08/09-dos_n_mas_nueve_acotado_por_potencia/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 14 (Para todo n ∈ ℕ, 2n + 9 ≤ 2ⁿ⁺⁴). https://jaalonso.github.io/calculemus/posts/2026/08/09-dos_n_mas_nueve_acotado_por_potencia/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 14 (Para todo n ∈ ℕ, 2n + 9 ≤ 2ⁿ⁺⁴). https://jaalonso.github.io/calculemus/posts/2026/08/09-dos_n_mas_nueve_acotado_por_potencia/ #LeanProver #ITP #Math
-
#Calculemus: Demostraciones con Lean 4 del Reto 14 (Para todo n ∈ ℕ, 2n + 9 ≤ 2ⁿ⁺⁴). https://jaalonso.github.io/calculemus/posts/2026/08/09-dos_n_mas_nueve_acotado_por_potencia/ #LeanProver #ITP #Math