home.social
Sign in Create account

#retolean4 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #retolean4, aggregated by home.social.

  1. José A. Alonso @[email protected] ·

    #RetoLean4: La sucesión aₙ = 1/n converge a 0. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #math #leanprover #retolean4
  2. José A. Alonso @[email protected] ·

    #RetoLean4: La sucesión aₙ = 1/n converge a 0. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #math #leanprover #retolean4
  3. José A. Alonso @[email protected] ·

    #RetoLean4: La sucesión aₙ = 1/n converge a 0. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #math #leanprover #retolean4
  4. José A. Alonso @[email protected] ·

    #RetoLean4: La sucesión aₙ = 1/n converge a 0. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #retolean4 #leanprover #math
  5. José A. Alonso @[email protected] ·

    #RetoLean4: La sucesión aₙ = 1/n converge a 0. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #math #leanprover #retolean4
  6. José A. Alonso @[email protected] ·

    #RetoLean4: Retos matemáticos con Lean 4. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #math #leanprover #retolean4
  7. José A. Alonso @[email protected] ·

    #RetoLean4: Retos matemáticos con Lean 4. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #math #leanprover #retolean4
  8. José A. Alonso @[email protected] ·

    #RetoLean4: Retos matemáticos con Lean 4. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #math #leanprover #retolean4
  9. José A. Alonso @[email protected] ·

    #RetoLean4: Retos matemáticos con Lean 4. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #retolean4 #leanprover #math
  10. José A. Alonso @[email protected] ·

    #RetoLean4: Retos matemáticos con Lean 4. t.me/Retos_Matematicos/109557/ #LeanProver #Math

    #math #leanprover #retolean4