More examples of sequences and series

- convergence of (1 + 1/n)^n - density of R - divergence of the harmonic series
math-comp · Jun 4, 2021 · 6e7f0c9 · 6e7f0c9
1 parent b9b35bb
commit 6e7f0c9
Show file tree

Hide file tree

Showing 2 changed files with 470 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -22,6 +22,7 @@ theories/normedtype.v
 theories/sequences.v
 theories/cardinality.v
 theories/csum.v
+theories/sequences_wip.v
 theories/forms.v
 theories/derive.v
 theories/measure.v