Popular repositories Loading
-
ml-textbook
ml-textbook PublicA textbook for the MIT course, 6.3900, that is being written to be more accessible and expanded in explanations of content.
-
-
real-analysis-textbook
real-analysis-textbook PublicThis project aims to build a new real analysis textbook with a greater focus on pedagogy (the method of teaching). This text does its best to use simple language, explain its logic clearly, and spe…
-
tao-analysis-lean-practice
tao-analysis-lean-practice PublicPracticing Lean by writing it up all proofs in the Lean programming language.
Lean 1
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.