More projects

George presented his joint submission of Latin squares to Lean’s Mathlib. We also discussed having a longer day where people can “drop-in” as their schedules permit to try and get projects jump-started in two weeks on April 6th.