輪読会[MIL和訳] #31
s-taiga
started this conversation in
Announce Event
Replies: 3 comments 13 replies
-
夜分遅くに失礼します。 |
Beta Was this translation helpful? Give feedback.
9 replies
-
@Taka0007 @Seasawher 個人的には現時点で一度和訳してしまい、1年に一回くらい変更があったらその部分だけ再度修正するみたいな方針でもよいのではないかと考えています。 |
Beta Was this translation helpful? Give feedback.
3 replies
-
@Taka0007 横から失礼します. Discussion 上の通知を見逃すという事象が複数回発生していますね.モバイルで見づらいのが問題なのか,新着コメントが常に一番下に来るとは限らないのが問題なのかわかりませんが,やりづらいのではないかと思います.lean-ja がホストしている discord サーバがありますので,よろしければそちらもご利用いただけます. |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
以下の書籍の輪読会を検討しています。参加を希望される方は本投稿にリプライしてください。
書籍名
Mathematics in Lean
リポジトリのパス
https://github.com/lean-ja/mathematics_in_lean_source
Beta Was this translation helpful? Give feedback.
All reactions