>>27
ホイヨ
(google検索)
数学 コンピュータ 証明 検証 wiki
＜結果＞
https://ja.wikipedia.org/wiki/%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E
自動定理証明
Wikipedia
関連した問題に、自動証明検証と、証明のコンピュータによる支援がある。定理の証明の正当性を検証するには、証明の各段階を原始再帰関数やプログラムで検証できる必要 ...
歴史
関連する問題
一階述語論理の定理証明
比較

https://ja.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E6%A9%9F%E6%8F%B4%E7%94%A8%E8%A8%BC%E6%98%8E
計算機援用証明
Wikipedia
計算機援用証明とは、コンピュータによって少なくとも一部が生成された数学的証明である。 今日における計算機援用証明のほとんどは数学的定理に対するしらみつぶし法（ ...
含まれない: 検証 ‎| 必須にする: 検証

https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E6%A4%9C%E8%A8%BC
形式的検証
Wikipedia
... 数学を利用し、何らかの形式仕様記述やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである。 完全な形式的検証 ...

https://ja.wikipedia.org/wiki/%E8%A8%BC%E6%98%8E%E8%AB%96
証明論
Wikipedia
形式的証明と非形式的証明​ 現代では、形式的証明は一般に計算機支援証明を補助としてコンピュータを使って構築される。 また、その証明がコンピュータで自動的に検証され ...

https://scrapbox.io/mrsekut-p/%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E
自動定理証明 - mrsekut-p
Cosense
プログラムに依って数学的定理に対する証明を発見する. 主が計算であるソフトウェア向けの手法. ホーア論理、Bメソッド, OBJ · 定理証明系言語.

https://www.reddit.com/r/math/comments/1hl09lj/best_proof_assistant_to_learn_as_a_beginner/?tl=ja
初心者として学ぶのに最適な証明アシスタントは？ : r/math
Reddit · r/math
20 件以上のコメント · 1 年前
オンラインで読んだところ、Leanは手っ取り早い数学的証明に適しており、Coqはソフトウェア検証と型理論のメカニズムの理解に適しているという印象を受け ...
回答 27 件
ベストアンサー:
それっぽいね。IMO、Leanの方が数学用のツールとライブラリがちょっと良い ...

https://ja.wikipedia.org/wiki/Agda
Agda
Wikipedia
Agda（アグダ）は、定理証明器、すなわち数学的な証明を検証するコンピュータプログラムであり、ペール・マルティン＝レーフの型理論の一種における構成的証明構築のため ...

https://sites.google.com/view/crossroad2/home
数学ノート2
Google Sites
MATH NOTE2（数学ノート2）へようこそ. このホームページでは、私が考えた数学問題の証明の検証を目的として、証明を公表します. 自分では、正しいと考える証明ですが、 ...