Implementing a Go/Baduk/Weiqi Board in Lean!
Core logic for the game has been implemented.
The move function can be used to make moves on the board (as demonstrated at the end of the Go.lean file in the game function, with the output visible at #eval game)
UI is under construction, after which proper documentation will be added.