Category:数学教育ソフトウェア
Coq
Coq (software)けいさんゲーム
Keisan Gameグレコからの挑戦状!計算の城とオバケたち
Lean (証明アシスタント)
Lean (proof assistant)Microsoft Math Solver
Wolfram Alpha
WolframAlpha暗算カードバトル メキメキモンスターズ
タシテン +たして10にする物語+
Make 10: A Journey of NumbersMicrosoft Mathematics
Microsoft Math Solverスーパーボーイ・アラン
Super Boy AllanMizar
Mizar system動的幾何学ソフトウエア
ドンキーコングJR.の算数遊び
Donkey Kong Jr. Math