Zenn
lean4
このトピックを指定するには
lean4
と入力
Articles
35
Scraps
8
scraps
Trending
Alltime
Latest
Lean をいじる
Open
Paalon
2024/10/29にコメント追加
#
lean4
#
lean
26
定理証明支援系 学習記録
Open
wuhu1sland
2024/11/09にコメント追加
#
coq
#
定理証明支援系
#
lean4
6
lean4による論理学の形式化
Open
palalansouki
2023/04/23にコメント追加
#
lean4
5
Lean4について調べた
Open
hosht
3ヶ月前にコメント追加
#
lean4
12
Lean4勉強メモ
Open
グミ
3ヶ月前にコメント追加
#
lean4
6
Leanで中心極限定理を証明してみる
Open
amazake13
2024/09/11にコメント追加
#
lean4
#
lean
2
Lean4 でいろいろ試す
Open
imamuray
2024/08/15にコメント追加
#
lean
#
lean4
3
Lean4のマクロで、文字列リテラルを、Lean4のコードとしてパースして展開する
Open
denjiry
2022/10/17にコメント追加
#
lean4
5
