issues
search
lean-ja
/
lean-ja.github.io
lean-ja の団体トップページ
https://lean-ja.github.io/
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
lean-ja内の日本語訳ページへのリンク追加
#30
s-taiga
closed
1 week ago
1
メタプログラミングの本のリンク修正 #28
#29
Seasawher
closed
8 months ago
0
メタプログラミングの本のリンク修正
#28
Seasawher
closed
8 months ago
0
lean の授業リストを紹介する
#27
Seasawher
closed
9 months ago
0
リンク修正
#26
Seasawher
closed
10 months ago
0
syntax highlight を有効化する
#25
Seasawher
closed
11 months ago
0
google 検索での表示のされ方に問題がある
#24
Seasawher
closed
12 months ago
1
メールアドレス，Discord, Zenn を追加する
#23
Seasawher
closed
11 months ago
5
Lean 公式の Discord サーバを追加する
#22
Seasawher
closed
1 year ago
0
Noto Sans JP を使用する
#21
Seasawher
closed
1 year ago
1
文字が太字で表示される
#20
Seasawher
closed
1 year ago
2
ディスコードサーバ追加する
#19
Seasawher
closed
1 year ago
0
Lean 4 web へのリンクを追加する
#18
Seasawher
closed
1 year ago
2
他の定理証明支援系や関数型言語との違いを述べる
#17
Seasawher
closed
11 months ago
1
リンク集更新 - 日本語のリソースが目立つように見出しを設ける
#16
Seasawher
closed
1 year ago
1
index.htmlにfeatures div（概要）を追加、mdから概要を削除
#15
haruhisa-enomoto
closed
1 year ago
1
「Explore More ⇩」をクリックしても何も起きない
#14
haruhisa-enomoto
closed
1 year ago
3
index ページ更新 / Lean についての説明を，より饒舌にする
#13
Seasawher
closed
1 year ago
1
Lean Play 風景がわかるものを追加する
#12
Seasawher
closed
1 year ago
1
How to Prove it with Lean を追加する
#11
Seasawher
closed
1 year ago
2
モバイル対応をする
#10
Seasawher
closed
1 year ago
0
ワークフローが動作しない
#9
Seasawher
closed
1 year ago
1
ディスコード追加
#8
Seasawher
closed
1 year ago
3
リンク集更新
#7
Seasawher
closed
1 year ago
0
ロゴをアウトライン化したsvgに差し替え
#6
aconite-ac
closed
1 year ago
0
ソースコードのリンクを貼る
#5
Seasawher
closed
1 year ago
1
文面に関する誤字・句読点の統一などの修正・変更
#4
aconite-ac
closed
1 year ago
0
README更新
#3
Seasawher
closed
1 year ago
4
文面に関する誤字・句読点の統一などの修正・変更提案
#2
aconite-ac
closed
1 year ago
2
ロゴをアウトライン化したsvgに差し替える
#1
aconite-ac
closed
1 year ago
3