問題を自動的に解く

典型的な問題を自動的に解く

• Jikka - 式変形を行ったり、データ構造のライブラリを貼ったりするだけで解ける問題を自動で解くツール。
  • Playground - Webブラウザ版。
  • jikka-example - AtCoder Beginner Contestで出題された問題を対象として、同ツールで生成されたC++コードの正誤状況を検証している。

定理を証明する(対話形式)

• proof_assistant - 対話形式で定理を証明するツール。