Zulip Chat Archive
Stream: general
Topic: Broken link
Bjørn Kjos-Hanssen (Sep 30 2020 at 00:03):
Not sure if this is the right place to post a "ticket" but: the link to " Theorem Proving in Lean" at the bottom of https://leanprover.github.io/logic_and_proof/introduction.html is broken (it needs to start with "http...")
Jeremy Avigad (Sep 30 2020 at 00:16):
That works! Thanks, I'll fix it.
Jeremy Avigad (Sep 30 2020 at 00:22):
It's fixed.
Last updated: May 02 2025 at 03:31 UTC