syntheticblue project notes

𝟮 / 𝟙𝟡· I started my main project, ‘Sudoku by Proof’ before I discovered Lean Sudoku. I think it'll be fun to continue anyway. I've been slowly working through “Mathematical Logic through Python”

╰ while writing my own tools - even my own variants of programming languages! Still all a jumble, a little bit is starting to congeal and hopefully I'll make some consistent progress.