danabra.mov / analysis-solutions
My solutions to Tao's Analysis I, formalized in Lean
fork atom
analysis-solutions / analysis /
at solutions 1 folder 5 files
Analysis
Analysis.lean
LiterateExtract.lean
lake-manifest.json
lakefile.lean
lean-toolchain