Skip to content
This repository has been archived by the owner on Jan 5, 2025. It is now read-only.

日本語訳にあたっての必要な対応をする #6

Open
Seasawher opened this issue Dec 13, 2023 · 2 comments
Open

日本語訳にあたっての必要な対応をする #6

Seasawher opened this issue Dec 13, 2023 · 2 comments
Assignees
@Seasawher

Comments

@Seasawher
Copy link
Member

原文のライセンスを確認
原文のどのバージョンの訳なのか明記
翻訳は非公式のものであり、lean-jaが管理するものであると明記
@Seasawher Seasawher self-assigned this Dec 13, 2023
@Seasawher
Copy link
Member Author

Seasawher commented Dec 21, 2023 •
edited
Loading

翻訳の許可はいただいたが，原著者が訳文をチェックしたかのような印象を与えてはいけない

leanprover/fp-lean#139 (comment)

@Seasawher
Copy link
Member Author

Seasawher commented Jun 15, 2024 •
edited
Loading

参照している原文のバージョン：60624372e1b7f85967de2f9f2c906fb351e0469a

リンクにするなら: https://github.com/leanprover/fp-lean/tree/60624372e1b7f85967de2f9f2c906fb351e0469a

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@Seasawher Seasawher

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Seasawher