eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

225
active users

#mathlib

0 posts0 participants0 posts today
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>
Tariq<p>" 𝗠𝗮𝘁𝗵𝘀 𝗣𝗿𝗼𝗼𝗳𝘀 𝗶𝗻 𝗟𝗲𝗮𝗻 - 𝗙𝗶𝗿𝘀𝘁 𝗦𝘁𝗲𝗽𝘀 " 🚀</p><p>Designed specifically for beginners struggling to get started with other courses and guides.</p><p>* Simple bite-sized examples.<br>* Focus on concepts, introduced gradually.<br>* One easy exercise per chapter.</p><p>.. all to build confidence, not demolish it !</p><p><a href="https://www.amazon.com/dp/B0DWHS1RDJ" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">amazon.com/dp/B0DWHS1RDJ</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</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/mathlib" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathlib</span></a> <a href="https://mastodon.social/tags/lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean4</span></a></p>
Tariq<p>... it's out ! 🚀 </p><p>" Maths Proofs in Lean - First Steps "</p><p>Designed specifically for newcomers and beginners struggling to get started with other courses and guides.</p><p>* Simple bite-sized examples explained.<br>* Concepts introduced gradually.<br>* One easy exercise per chapter.</p><p>.. all to build confidence, not demolish it !</p><p><a href="https://www.amazon.com/dp/B0DWHS1RDJ" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">amazon.com/dp/B0DWHS1RDJ</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</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/mathlib" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathlib</span></a> <a href="https://mastodon.social/tags/lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean4</span></a></p>