Zenn
lean4
このトピックを指定するには
lean4
と入力
RSS
表示を修正
Articles
16
Scraps
4
articles
Trending
Alltime
Latest
🔢
Lean4 の Natural Number Game を解いてみた
imamuray
9日前
1
🥐
Lean Prover で Cantor の対関数に逆写像があることを示す
lean ja
21日前
1
🥯
lake update 時に toolchain does not have the binary というエラーが出たときの対処例
lean ja
2ヶ月前
1
🤙
Lean 4 でカントールの定理
lean ja
3ヶ月前
2
😸
Lean4で累積帰納法を証明する
luma
5ヶ月前
7
🐣
TAPLとLeanの同時入門のススメ 予告編(締切に敗北しました)
ebi_chan
6ヶ月前
10
🩺
Lean4 で print デバッグをする
lean ja
2023/11/03
1
🏄
mdbook に Lean4 のコードブロックを Playground で実行するボタンを追加する
lean ja
2023/10/31
1
🎇
静的サイトジェネレータ(SSG)で作成したサイトにおいて, Lean4 のシンタックスハイライトを効かせる方法
lean ja
2023/10/30
☄️
Lean Prover コマンド紹介
lean ja
2023/10/28
3
🔃
選択ソートと,それがソートアルゴリズムであることの証明を Lean Prover で実装する
lean ja
2023/10/26
3
🔢
if 式で定義された関数の性質を Lean Prover でどう証明するか
lean ja
2023/10/24
2
🐦
フィボナッチ数列の2通りの定義が等しいことを,Lean4 を使って証明する
lean ja
2023/10/16
5
📑
Mathematics in type thoery 日本語訳
lean ja
2023/10/12
2
📑
Division by zero in type theory: a FAQ 日本語訳
lean ja
2023/10/12
2
🚀
関数型言語”兼”定理証明支援系Leanの環境構築
denjiry
in
LabBaseテックノート
2023/07/26
25