定理証明支援系であるCoqは究極のパズルゲーム(グラフィックは除く)
- 豊富な問題数
- 別売りの問題セット(数学書)を使うことで、大量の問題が付いてくる
- すべての問題を解ききってしまうということは起こらない
- 歯ごたえのある難易度
- 問題セットの難易度は簡単なものから難しいものまである
- 難しい問題セットを買うことでいくらでも難しい問題に挑戦できる
- 自動化要素もある
- 簡単な問題ばかり解くのはつまらない？自動化しましょう！
- 自動で道具を使ってくれるモードや、内部でのプログラミング要素を使った自動化なんかも可能！
- 数学力がつく
- なぜかこのパズルゲームを遊ぶことで、数学力を鍛えることが出来る！不思議だね！
GitHub - soukouki/coq-learning 気になった人はぜひこのリンクを開いて入門してみよう！