related

• lean_language
• [[]]

resources

very broad btw so I might didn’t cover all of them

• vid-terence_tao-formalizing_a_proof_in_lean_using_claude_and_o4
• vid-terence_tao-formalizing_a_proof_in_lean_using_claude_code
• vid-art_of_olympiad_mathematics-this_is_how_to_think_correctly_in_olympiad_mathematics
• vid-the_hornest_torus-the_unspoken_truth_about_math_textbooks
• vid-the_hornest_torus-optimal_number_of_hours_to_study_math_per_day
• vid-the_hornest_torus-the_hidden_map_of_mathematics
• vid-the_hornest_torus-self_study_graph_theory
• vid-the_hornest_torus-mathbooks_from_beginner_to_pro
• vid-dibeos-the2pathstolearnmaths

created on: Sun Jun 28 2026