Zulip Chat Archive

Stream: general

Topic: LTE in Nieuw Archief

Johan Commelin (Dec 15 2021 at 18:24):

Voor iedereen die nederlands leest: er is zojuist een artikel over het Liquid Tensor Experiment verschenen in het Nieuw Archief: math.commelin.net/files/naw5-2021-22-4-231.pdf

Rob Lewis (Dec 15 2021 at 18:33):

Gefeliciteerd!

Alex J. Best (Dec 15 2021 at 18:47):

Wat leuk! Why gecondenseered and not verdicht though https://leanprover.zulipchat.com/#narrow/stream/267928-condensed-mathematics/topic/condensed.20terminology/near/228434160 ? :grinning:

Johan Commelin (Dec 15 2021 at 19:06):

It's not really a common Dutch word. We would use "gecondenseerd" for that, I think. But then, I'm barely a native Dutch speaker these days.

Last updated: Dec 20 2023 at 11:08 UTC