search

hhu-adam / Robo

A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
https://adam.math.hhu.de
Apache License 2.0
16 stars 9 forks source link

Babylon/04: incorrect latex summary #29

Closed TentativeConvert closed 3 months ago

TentativeConvert commented 3 months ago

The sum should be over 2i + 1, not over 2n + 1, and we should some from 0 to n-1, not up to n.

TentativeConvert commented 3 months ago

fixed in 8606c5b