Contribute to nakashima-hikaru/kuromine-lean4 development by creating an account on GitHub.