Lean Across the Board¶
A fun attempt at learning some more Lean by implementing some theorems from the (great) Across the Board: The Mathematics of Chessboard Problems book.
A fun attempt at learning some more Lean by implementing some theorems from the (great) Across the Board: The Mathematics of Chessboard Problems book.