https://ucb-lean-course-sp26.github.io/lectures/lec-01.html 2026-01-23T00:00:00+00:00 https://ucb-lean-course-sp26.github.io/lectures/lec-02.html 2026-01-30T00:00:00+00:00 https://ucb-lean-course-sp26.github.io/lectures/lec-03.html 2026-02-06T00:00:00+00:00 https://ucb-lean-course-sp26.github.io/lectures/lec-04.html 2026-02-13T00:00:00+00:00 https://ucb-lean-course-sp26.github.io/lectures/lec-05.html 2026-02-20T00:00:00+00:00 https://ucb-lean-course-sp26.github.io/lectures/lec-06.html 2026-02-27T00:00:00+00:00 https://ucb-lean-course-sp26.github.io/lectures/lec-07.html 2026-03-06T00:00:00+00:00 https://ucb-lean-course-sp26.github.io/lectures/lec-08.html 2026-03-13T00:00:00+00:00 https://ucb-lean-course-sp26.github.io/project/final_project.html https://ucb-lean-course-sp26.github.io/project/proposal_template.html https://ucb-lean-course-sp26.github.io/