You are so right! The page you were missing is https://www.bookofproofs.org/branches/ https://www.bookofproofs.org/branches/ where you see the main structure o

You are so right! The page you were missing is https://www.bookofproofs.org/branches/ https://www.bookofproofs.org/branches/ where you see the main structure of the whole book. -> I added this link to the top page to better find it. -> I also added a chapter to the book with a user manual describing how to interact with the site. As regards the missing proofs, yes, some are wanted - as co-authors are. What you haven't seen are the many proofs which are already there. As regards "complex numbers" Some algorithms require proofs (e.g. of correctness or of runtime), but not this one, because complex numbers are pre-implemented in Python and the "algorithm" was only giving a way how to use the implementation in Python but not the actual implementation. I removed the link from the list of missing proofs. As regards "Bounded Subsets of Real Numbers" This entry was originally a proposition missing proof. In the meantime, it was re-edited and became a definition but was forgotten to be removed from the "missing proofs" list - now also corrected. By the way, the complex numbers definition you were looking for can be found as part of the chapter dedicated to number systems - https://www.bookofproofs.org/branches/number-systems/ https://www.bookofproofs.org/branches/number-systems/. --- Thank you for your valuable feedback!