t_wの輪郭

証明コンパイル

コンパイル時証明

2024/3/24 19:50:00

関数型言語定理証明支援系

Lean

2024/3/24 19:25:00

https://lean-lang.org/
https://github.com/leanprover

『ABC予想証明の正否、コンピューターで決着か　望月氏が打開策示す [AIの時代]：朝日新聞』【定理証明支援系Lean】写像って、そもそも何？あれ