Reviews and mentions
Posts with mentions or reviews of real-number-game. We have used some of these posts to build our list of alternatives and similar projects.
Recently i started Problems in Mathematical Analysis 1: Real Numbers, Sequences and Series by Kaczor Nowak. Its problems are very tough. So i need some books which have a huge amount of hard problems on sequence and series in the examples. Do you know any
1 project | reddit.com/r/mathbooks | 24 Jan 2021
An alternative to another book is to try out some theorem proving with the real number game: https://github.com/ImperialCollegeLondon/real-number-game
Basic real-number-game repo stats
over 1 year ago
ImperialCollegeLondon/real-number-game is an open source project licensed under Apache License 2.0 which is an OSI approved license.