Planning projects
We discussed preparations that people can take to get started for our longer session next week where we will try to get people jump-started on their projects!
More deatils are in the lean_lec_mar30.lean file.
Date published: Monday, March 30, 2026