After the PR https://github.com/metamath/metamath-website-seed/pull/21 was
accepted and merged, the German translation of the Metamath book is now
available for download on the Homepage
https://us.metamath.org/index.html#book.
Again, everybody speaking German (not only native speakers
Thierry Arnoux schrieb am Donnerstag, 7. Dezember 2023 um 23:10:46 UTC+1:
May I ask how long it took you both to complete the translation?
I think we started in May 2021, so it took about 2.5 years. Of course we
had many (longer) breaks and did not work full time on it. And we used
deepL for
, 'Alexander van der Vekens' via Metamath wrote:
I have just provided the German translation of the Metamath book as
PDF to be integrated into the Metamath homepage, see GitHub Pull
Request #21
(https://github.com/metamath/metamath-website-seed/pull/21). After
this PR is accepted and merged, the German
23:06:11
An: metamath@googlegroups.com
Betreff: Re: [Metamath] German translation of the Metamath book
Hello/Gütemntag Alexander,
meine name ist Dirk-Anton Broersen und ich lebe nach die Deutchegrenze und
vielleicht känn ich dich wär machen in Deutch.
The German language is a hard subject.
Me
just need word.
With friendly regards,
Dirk-Anton Broersen
Van: 'Alexander van der Vekens' via Metamath
Verzonden: dinsdag 5 december 2023 18:04
Aan: Metamath
Onderwerp: Re: [Metamath] German translation of the Metamath book
I have just provided the German
: [Metamath] German translation of the Metamath book
I have just provided the German translation of the Metamath book as PDF to be
integrated into the Metamath homepage, see GitHub Pull Request #21
(https://github.com/metamath/metamath-website-seed/pull/21). After this PR is
accepted and merged
I have just provided the German translation of the Metamath book as PDF to
be integrated into the Metamath homepage, see GitHub Pull Request #21
(https://github.com/metamath/metamath-website-seed/pull/21). After this PR
is accepted and merged, the German translation of the Metamath book should
s!
Adding to https://us.metamath.org/index.html#book sounds good to me.
On 12/3/23 00:29, 'Alexander van der Vekens' via Metamath wrote:
I want to announce that I created a German translation of the Metamath
book, based on the Latex files of the original book (see GitHub
https://github.com/metamath/met
it compiles the metamath pdf right now.
On Sun, Dec 3, 2023 at 3:29 AM 'Alexander van der Vekens' via Metamath <
metamath@googlegroups.com> wrote:
> I want to announce that I created a German translation of the Metamath
> book, based on the Latex files of the original book (see Gi
I want to announce that I created a German translation of the Metamath
book, based on the Latex files of the original book (see GitHub
https://github.com/metamath/metamath-book). I plan to provide it for the
Metamath community, and all interested, German speaking people. The easiest
way to do
10 matches
Mail list logo
