cruhland/agda-analysis

Terence Tao's Analysis I, formalized in Agda

Agda