Zulip Chat Archive

Stream: lean4

Topic: lean website under construction?


Asei Inoue (Sep 27 2024 at 18:12):

when I access to lean-lang.org page...

image.png

Asei Inoue (Sep 27 2024 at 18:13):

is it really under construction?? I hope it is not some kind of mistake.

Asei Inoue (Sep 27 2024 at 18:42):

This github link is correct?? (I think leanprover's organization is correct link)

image.png

Henrik Böving (Sep 27 2024 at 18:43):

Asei Inoue said:

is it really under construction?? I hope it is not some kind of mistake.

yes

Henrik Böving (Sep 27 2024 at 18:43):

But I'm getting the proper old page again now?

Henrik Böving (Sep 27 2024 at 18:43):

Maybe some caching is active for me still

Asei Inoue (Sep 27 2024 at 18:44):

push ctrl + F5

Henrik Böving (Sep 27 2024 at 18:44):

Already did

Henrik Böving (Sep 27 2024 at 18:45):

unclear, i'm sure it'll fix itself :tm:

Kyle Miller (Sep 27 2024 at 18:46):

Thanks for reporting this @Asei Inoue. I checked internally, and the website is currently being switched over to a new version.

Bharat Bhat (Sep 27 2024 at 19:54):

Thanks @Asei Inoue and @Kyle Miller . We had a momentary issue with DNS that we have resolved. I'll send a note when we have more news on the new version :smile:


Last updated: May 02 2025 at 03:31 UTC