danabra.mov / analysis-solutions
My solutions to Tao's Analysis I, formalized in Lean
fork atom
analysis-solutions / analysis / Analysis /
at solutions 2 folders 74 files
Misc
Tools
Appendix_A_1.lean
Appendix_A_2.lean
Appendix_A_3.lean
Appendix_A_4.lean
Appendix_A_5.lean
Appendix_A_6.lean
Appendix_A_7.lean
Appendix_B_1.lean
Appendix_B_2.lean
Section_10_1.lean
Section_10_2.lean
Section_10_3.lean
Section_10_4.lean
Section_10_5.lean
Section_11_1.lean
Section_11_10.lean
Section_11_2.lean
Section_11_3.lean
Section_11_4.lean
Section_11_5.lean
Section_11_6.lean
Section_11_7.lean
Section_11_8.lean
Section_11_9.lean
Section_2_1.lean
Section_2_2.lean
Section_2_3.lean
Section_2_epilogue.lean
Section_3_1.lean
Section_3_2.lean
Section_3_3.lean
Section_3_4.lean
Section_3_5.lean
Section_3_6.lean
Section_3_epilogue.lean
Section_4_1.lean
Section_4_2.lean
Section_4_3.lean
Section_4_4.lean
Section_5_1.lean
Section_5_2.lean
Section_5_3.lean
Section_5_4.lean
Section_5_5.lean
Section_5_6.lean
Section_5_epilogue.lean
Section_6_1.lean
Section_6_2.lean
Section_6_3.lean
Section_6_4.lean
Section_6_5.lean
Section_6_6.lean
Section_6_7.lean
Section_6_epilogue.lean
Section_7_1.lean
Section_7_2.lean
Section_7_3.lean
Section_7_4.lean
Section_7_5.lean
Section_8_1.lean
Section_8_2.lean
Section_8_3.lean
Section_8_4.lean
Section_8_5.lean
Section_9_1.lean
Section_9_10.lean
Section_9_2.lean
Section_9_3.lean
Section_9_4.lean
Section_9_5.lean
Section_9_6.lean
Section_9_7.lean
Section_9_8.lean
Section_9_9.lean