Formal convergence proofs: Sequences and Series course | Zoonk