このレポジトリは https://github.com/hhu-adam/GameSkeleton のテンプレートを使用して作っています。 参考　：　https://github.com/leanprover-community/NNG4/