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