Zenn
lean
このトピックを指定するには
lean
と入力
Articles
37
Scraps
6
articles
Trending
Alltime
Latest
🔲
Gödelの第一不完全性定理の形式的証明をする
palalansouki
2023/12/04
14
🤖
LeanでLLMを有効活用する (2025年7月版)
井山梃子歴史館
2ヶ月前
10
📝
ProofDataで中間的な定義や証明を整理する
井山梃子歴史館
2024/12/05
8
🔄
Lean4でバブルソートを書く
nesken7777
2024/12/19
5
🪤
Lean4で命題論理の自動証明をする
palalansouki
2023/12/11
8
🍣
Leanの定理証明はコード最適化に役立つのか?
dec9ue
4ヶ月前
7
🧙
Lean日報: Lean のマクロは、Macro 型の項
北窓
2024/11/18
7
✍
lean-jaのドキュメント紹介
lean ja
2024/12/17
9
📑
Mathematics in type thoery 日本語訳
lean ja
2023/10/12
4
🐾
Lean4 で ICan'tbelieveItCanSort を書く
rikitoro
2024/12/22
4
🍆
証明支援システムLeanに入門する #2
ハーツホーン
2023/10/26
6
🐦
フィボナッチ数列の2通りの定義が等しいことを,Lean4 を使って証明する
lean ja
2023/10/16
7
📑
Division by zero in type theory: a FAQ 日本語訳
lean ja
2023/10/12
13
♻️
デプロイ頻度を向上させることへの誤解
熊木
2022/10/31
29
⌛
WIP制限導入で開発リードタイムが120時間→60時間に半減した話
Keina Nakajima
in
Mediiエンジニアブログ
1ヶ月前
4
🔢
Lean4 の Natural Number Game を解いてみた
imamuray
2024/05/11
4
☄️
Lean Prover コマンド紹介
lean ja
2023/10/28
6
📝
ProofData for organizing intermediate definitions and properties
井山梃子歴史館
2024/12/05
🙃
Lean で数学的帰納法を末尾再帰で実装する
lean ja
2024/11/17
1
🤙
Lean 4 でカントールの定理
lean ja
2024/03/04
2
🏄
mdbook に Lean4 のコードブロックを Playground で実行するボタンを追加する
lean ja
2023/10/31
1
🔃
選択ソートと,それがソートアルゴリズムであることの証明を Lean Prover で実装する
lean ja
2023/10/26
4
💲
Leanを書いてる最中にシェルのコマンドを実行するコマンドを作る
denjiry
in
LabBaseテックノート
2024/12/19
6
🌿
Lean 日報: [macro_inline] 属性で短絡評価にする
北窓
2024/12/10
1
😙
Lean日報: ProofWidgets の #html コマンドでグラフなどを表示
北窓
2024/11/19
1
🦔
Lake script(run)でバイナリを実行する
qwjyh
2024/10/29
🎮
ゲームしながらGitを学べるサイト
nakano16180
2024/06/18
11
🥐
Lean Prover で Cantor の対関数に逆写像があることを示す
lean ja
2024/04/30
3
🥯
lake update 時に toolchain does not have the binary というエラーが出たときの対処例
lean ja
2024/03/22
2
🩺
Lean4 で print デバッグをする
lean ja
2023/11/03
2
🍆
証明支援システムLeanに入門する #1
ハーツホーン
2023/10/26
3
🔢
if 式で定義された関数の性質を Lean Prover でどう証明するか
lean ja
2023/10/24
1
🐙
Lean日報: Lean の Batteries ライブラリの #lint コマンド
北窓
2024/11/17
1
🎇
静的サイトジェネレータ(SSG)で作成したサイトにおいて, Lean4 のシンタックスハイライトを効かせる方法
lean ja
2023/10/30
💬
Lean と DevOps の科学 - 個人用インデックス
きむちゃん。
2022/08/19
🔖
スクラムガイド2020に登場する数字たち
.flatten()
2022/03/20
🙏
Lean4, lekeでのプロジェクト作成がうまく行かなかったのでChatGPTに聞く→解決
xiangze
2ヶ月前