Zenn
lean4
このトピックを指定するには
lean4
と入力
RSS
表示を修正
Articles
16
Scraps
4
scraps
Trending
Alltime
Latest
Lean4 でいろいろ試す
Open
imamuray
2日前にコメント追加
#
lean
#
lean4
1
lean4による論理学の形式化
Open
palalansouki
2023/04/23にコメント追加
#
lean4
5
Lean4勉強メモ
Open
グミ
2023/07/08にコメント追加
#
lean4
5
Lean4のマクロで、文字列リテラルを、Lean4のコードとしてパースして展開する
Open
denjiry
2022/10/17にコメント追加
#
lean4
5