Zenn
lean
このトピックを指定するには
lean
と入力
RSS
表示を修正
Articles
18
Scraps
3
articles
Trending
Alltime
Latest
♻️
デプロイ頻度を向上させることへの誤解
熊木
2022/10/31
22
🔲
Gödelの第一不完全性定理の形式的証明をする
palalansouki
5ヶ月前
9
🪤
Lean4で命題論理の自動証明をする
palalansouki
4ヶ月前
6
🐦
フィボナッチ数列の2通りの定義が等しいことを,Lean4 を使って証明する
lean ja
2023/10/16
5
🍆
証明支援システムLeanに入門する #2
ハーツホーン
6ヶ月前
2
☄️
Lean Prover コマンド紹介
lean ja
6ヶ月前
3
🔃
選択ソートと,それがソートアルゴリズムであることの証明を Lean Prover で実装する
lean ja
6ヶ月前
3
📑
Mathematics in type thoery 日本語訳
lean ja
2023/10/12
2
🍆
証明支援システムLeanに入門する #1
ハーツホーン
6ヶ月前
🤙
Lean 4 でカントールの定理
lean ja
2ヶ月前
2
🔢
if 式で定義された関数の性質を Lean Prover でどう証明するか
lean ja
6ヶ月前
2
📑
Division by zero in type theory: a FAQ 日本語訳
lean ja
2023/10/12
2
🩺
Lean4 で print デバッグをする
lean ja
6ヶ月前
1
🏄
mdbook に Lean4 のコードブロックを Playground で実行するボタンを追加する
lean ja
6ヶ月前
1
🎇
静的サイトジェネレータ(SSG)で作成したサイトにおいて, Lean4 のシンタックスハイライトを効かせる方法
lean ja
6ヶ月前
🔖
スクラムガイド2020に登場する数字たち
.flatten()
2022/03/20
🥯
lake update 時に toolchain does not have the binary というエラーが出たときの対処例
lean ja
1ヶ月前
1
💬
Lean と DevOps の科学 - 個人用インデックス
きむちゃん。
2022/08/19