danabra.mov / analysis-solutions
My solutions to Tao's Analysis I, formalized in Lean
fork atom
analysis-solutions / analysis / lean-toolchain
at solutions 24 B view raw
1leanprover/lean4:v4.20.1