My solutions to Tao's Analysis I, formalized in Lean
Browse files on Tangled
https://tangled.sh/did:plc:fpruhuo22xkm5o7ttr2ktxdo/analysis-solutions
e788c791
fpruhuo22x…
ef17b912