タグ #Lean 4 に関するスライド

slide-thumbnail

Theorem Proving in Lean4 を読む会#4 ― 第3章 3.3-3.7
user-img Yuki Imamura >100
slide-thumbnail

Theorem Proving in Lean4 を読む会#3 ― 第2章 2.4-第3章 3.2
user-img Yuki Imamura >100
slide-thumbnail

Theorem Proving in Lean4 を読む会#2 ― 第2章 2.1-2.3
user-img Yuki Imamura 261
slide-thumbnail

Theorem Proving in Lean4 を読む会#1 ― 第1章
user-img Yuki Imamura 276
#Lean 4
#定理証明
#プログラミング言語
#型理論
#勉強会