Nom__XD, 飲ん,诺穆 (They/Them)🐈⬛<p>I've installed the mathlib docs, but it's not a copy of its online version. I got only warningsbut no errors, and references are disabled by default for some reason. Well, it's only an alternate if my ISP is having a bad connection day. <a href="https://mastodon.social/tags/mathlib" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathlib</span></a> <a href="https://mastodon.social/tags/docs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>docs</span></a> <a href="https://mastodon.social/tags/lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean</span></a> <a href="https://mastodon.social/tags/nomxd" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nomxd</span></a> <a href="https://mastodon.social/tags/Tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Tech</span></a>-talk🐾</p>