feat(docs/100): Add Masdeu's formalisation of Euler's Summation to 10…

…0.yaml (#5655)
leanprover-community · Jan 7, 2021 · 66e02b3 · 66e02b3
1 parent 7bc2e9e
commit 66e02b3
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/100.yaml b/docs/100.yaml
@@ -40,6 +40,10 @@
   title  : Polyhedron Formula
 14:
   title  : Euler’s Summation of 1 + (1/2)^2 + (1/3)^2 + ….
+  author : Marc Masdeu
+  links  :
+    result : https://github.com/mmasdeu/euler/blob/main/src/euler.lean#L712
+    website: https://github.com/mmasdeu/euler
 15:
   title  : Fundamental Theorem of Integral Calculus
   decls  :