Zulip Chat Archive
Stream: general
Topic: outdated website link
Andrew Ashworth (Mar 10 2018 at 22:23):
@Sebastian Ullrich The link at https://leanprover.github.io/documentation/ is outdated; it links to the Gitter chat room.
Andrew Ashworth (Mar 10 2018 at 22:24):
thought i would mention it since you recently updated README.md
Last updated: May 02 2025 at 03:31 UTC