This is great. I'm actually running into this problem but across distributed clients. Is there a distributed way to achieve somthing like this with say Redis?
The protocol offers blockchain-based smart ticketing which eliminates fraud and prevents scalping. This has the potential to get huge when events start coming back post-covid.
Former Illinois student here. There was another course called CS173 Discrete Structures that we took as a prereq to this class. You can find the textbook here http://mfleck.cs.illinois.edu/building-blocks/index.html with a chapter dedicated to induction