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