#retolean4 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #retolean4, aggregated by home.social.
-
#RetoLean4: Soluciones del reto 1 (Demostrar con Lean 4 que la sucesión 1/n converge a 0). https://live.lean-lang.org/#url=https://github.com/jaalonso/Calculemus2/blob/main/src/Retos/Reto_1_Soluciones.lean #LeanProver #ITP #Math
-
#RetoLean4: Demostrar con Lean 4 que la sucesión 1, -1, 1, -1, ... no es convergente. https://t.me/Retos_Matematicos/109557/139918 #LeanProver #ITP #Math
-
#RetoLean4: La sucesión aₙ = 1/n converge a 0. https://t.me/Retos_Matematicos/109557/139686 #LeanProver #Math
-
#RetoLean4: La sucesión aₙ = 1/n converge a 0. https://t.me/Retos_Matematicos/109557/139686 #LeanProver #Math
-
#RetoLean4: La sucesión aₙ = 1/n converge a 0. https://t.me/Retos_Matematicos/109557/139686 #LeanProver #Math
-
#RetoLean4: La sucesión aₙ = 1/n converge a 0. https://t.me/Retos_Matematicos/109557/139686 #LeanProver #Math
-
#RetoLean4: La sucesión aₙ = 1/n converge a 0. https://t.me/Retos_Matematicos/109557/139686 #LeanProver #Math
-
#RetoLean4: Retos matemáticos con Lean 4. https://t.me/Retos_Matematicos/109557/139685 #LeanProver #Math
-
#RetoLean4: Retos matemáticos con Lean 4. https://t.me/Retos_Matematicos/109557/139685 #LeanProver #Math
-
#RetoLean4: Retos matemáticos con Lean 4. https://t.me/Retos_Matematicos/109557/139685 #LeanProver #Math
-
#RetoLean4: Retos matemáticos con Lean 4. https://t.me/Retos_Matematicos/109557/139685 #LeanProver #Math
-
#RetoLean4: Retos matemáticos con Lean 4. https://t.me/Retos_Matematicos/109557/139685 #LeanProver #Math