Similar to Lean_(証明アシスタント)
XSL Transformations
XSLT
Agda
Agda (programming language)
CPL (圏論プログラミング言語)
Scala
Scala (programming language)
Haskell
HaskellCoq
Rocq
Wolfram Alpha
WolframAlpha
暗算カードバトル メキメキモンスターズ
グレコからの挑戦状!計算の城とオバケたち
けいさんゲーム
Keisan Game
スーパーボーイ・アラン
Super Boy Allan
タシテン +たして10にする物語+
Make 10: A Journey of Numbers
Desmos
Desmos動的幾何学ソフトウエア
ドンキーコングJR.の算数遊び
Donkey Kong Jr. MathMicrosoft Math Solver
Microsoft Math Solver
Mizar
Mizar systemLogic Theorist
Logic Theorist
Planner
Planner (programming language)Wolfram (プログラミング言語)
Wolfram Language第5歩兵師団 (ベトナム陸軍)
5th Infantry Division (Vietnam)
01.AI
01.AI
1000円自販機
第百一号輸送艦
1,1,2-トリクロロエタン
1,1,2-Trichloroethane
1707年5月2日の海戦
Action of 2 May 1707
1740年4月8日の海戦
Action of 8 April 1740
1742年6月14日の海戦
Action of 14 June 1742
