GitHub repository: melembroucarlitos/Tao_Analysis-LEAN
Primary language: Lean
Description: ormalization of the textbooks Analysis_1 & Analysis_2 by Terence Tao in the LEAN programming language