real-number-game 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
An alternative to another book is to try out some theorem proving with the real number game: https://github.com/ImperialCollegeLondon/real-number-game
Stats
Basic real-number-game repo stats
1
74
0.0
about 1 year ago
ImperialCollegeLondon/real-number-game is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of real-number-game is Lean.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com