A rigourous proof for the Kuromine problem. Contribute to mat-der-D/kuromine-proof-lean4 development by creating an account on GitHub.