Challenge 1: Prove in Lean 4 that the sequence 1/n converges to 0. jaalonso.github.io/calculemus/e...
@jalonso.eurosky.social
@jalonso.eurosky.social
@jalonso.eurosky.socialChallenge 1: Prove in Lean 4 that the sequence 1/n converges to 0. jaalonso.github.io/calculemus/e...