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.

Contents

• API Reference
  • chess.board
  • chess.move
  • chess.move.legal
  • chess.piece
  • chess.playfield
  • chess.utils
  • guarini