(But to answer your question: the math books on that page have "correct answer" solutions where you can tell if you got it right, but not fully-worked-out solutions. Introduction to Algorithms and Machine Learning technically does not have any solutions, but most of the problems involve constructing code implementations that match up with worked examples, or that give a desired result, so you can tell if you got it correct and in many cases you can follow along with the worked example to debug your code if it's not producing the desired output.)
Do you plan to make a proofs based book available as well?
I had fun writing them and I'm glad that they are making a positive impact, but since then I've been consumed by my work on Math Academy, which I find even more fun/impactful. (We do have a Methods of Proof course out, which is many times more scaffolded, refined, comprehensive, and generally instructionally superior to any textbook I could write independently, not to mention it's adaptive.)
So, long story short, I enjoyed writing those textbooks and am glad they're seeing the light of day, but I've moved on to a new chapter of life and don't plan on writing any more math books in the future (with the possible exception of something super niche like the math behind maximizing learning efficiency in hierarchical knowledge structures).