Zenn
Log in
lean4
このトピックを指定するには
lean4
と入力
フォロー
Articles
34
Scraps
8
articles
Trending
Alltime
Latest
🔢
最強の機械学習フレームワークを作りたい その 1 「何がしたいか、Lean 4 の基礎とともに」
tony
in
mutex Tech Blog
4ヶ月前
18
🚀
関数型言語”兼”定理証明支援系Leanの環境構築
denjiry
in
LabBaseテックノート
2023/07/26
30
📝
ProofDataで中間的な定義や証明を整理する
井山梃子歴史館
4ヶ月前
7
🔄
Lean4でバブルソートを書く
nesken7777
4ヶ月前
4
👋
ヨビノリ群論入門②をLean4で形式化 ~ 群の定義 ~
tana
1ヶ月前
4
🧙
Lean日報: Lean のマクロは、Macro 型の項
北窓
5ヶ月前
6
😸
Lean4で累積帰納法を証明する
luma
2024/01/03
11
✍
lean-jaのドキュメント紹介
lean ja
4ヶ月前
7
📑
Mathematics in type thoery 日本語訳
lean ja
2023/10/12
2
🐾
Lean4 で ICan'tbelieveItCanSort を書く
rikitoro
4ヶ月前
4
🐣
TAPLとLeanの同時入門のススメ 予告編(締切に敗北しました)
ebi_chan
2023/12/03
15
🐦
フィボナッチ数列の2通りの定義が等しいことを，Lean4 を使って証明する
lean ja
2023/10/16
6
📑
Division by zero in type theory: a FAQ 日本語訳
lean ja
2023/10/12
13
📝
Lean 4のメタプログラミングで数独チェッカーを作った
ebi_chan
2024/09/08
3
🔢
Lean4 の Natural Number Game を解いてみた
imamuray
2024/05/11
2
☄️
Lean Prover コマンド紹介
lean ja
2023/10/28
5
📝
ProofData for organizing intermediate definitions and properties
井山梃子歴史館
4ヶ月前
🙃
Lean で数学的帰納法を末尾再帰で実装する
lean ja
5ヶ月前
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
3
💲
Leanを書いてる最中にシェルのコマンドを実行するコマンドを作る
denjiry
in
LabBaseテックノート
4ヶ月前
6
🌿
Lean 日報: [macro_inline] 属性で短絡評価にする
北窓
4ヶ月前
1
😙
Lean日報: ProofWidgets の #html コマンドでグラフなどを表示
北窓
5ヶ月前
1
🦔
Lake script(run)でバイナリを実行する
qwjyh
6ヶ月前
🥐
Lean Prover で Cantor の対関数に逆写像があることを示す
lean ja
2024/04/30
2
🥯
lake update 時に toolchain does not have the binary というエラーが出たときの対処例
lean ja
2024/03/22
2
🩺
Lean4 で print デバッグをする
lean ja
2023/11/03
2
🔢
if 式で定義された関数の性質を Lean Prover でどう証明するか
lean ja
2023/10/24
1
🐙
Lean日報: Lean の Batteries ライブラリの #lint コマンド
北窓
5ヶ月前
1
🎇
静的サイトジェネレータ(SSG)で作成したサイトにおいて， Lean4 のシンタックスハイライトを効かせる方法
lean ja
2023/10/30
🙄
ヨビノリ群論入門③をLean4で形式化 ~ 対称群 ~
tana
1ヶ月前
1
📚
Lean4で全単射や逆関数の性質を証明
tana
1ヶ月前
2
🕌
ヨビノリ群論入門をLean4で形式化
tana
1ヶ月前
