Lean 総合スレッド

Lean 総合スレッド (21ﾚｽ)
上下前次 1-新

18: 11/26(火)17:35 ID:nTO8rWy3(1) AAS
Mathematics in Lean、サンプルコードがLean4でコンパイルできん
これ、読むだけにするか

19(2): 11/27(水)20:32 ID:o2nitIIz(1) AAS
>証明が正しいことを検証できる

その検証が正しいことは確かなの？
検証の検証が必要なのでは？

20: 11/27(水)20:53 ID:tRIiAPtM(1) AAS
>>19
必要とは？

21: 11/28(木)12:40 ID:I0md6kHT(1) AAS
>>19
どういうこと？