-
Samudra Public
Forked from suryadheeshjith/SamudraGlobal Ocean Emulator
Jupyter Notebook MIT License UpdatedMay 9, 2025 -
-
tao-analysis-lean-practice Public
Practicing Lean by writing it up all proofs in the Lean programming language.
-
ml-textbook Public
A textbook for the MIT course, 6.3900, that is being written to be more accessible and expanded in explanations of content.
-
-
-
real-analysis-textbook Public
This 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…
2 UpdatedFeb 22, 2022 -
{{ message }}