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" target="_blank" rel="nofollow noopener" translate="no"><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="tag">#<span>maths</span></a> <a href="https://mastodon.social/tags/lean" class="mention hashtag" rel="tag">#<span>lean</span></a> <a href="https://mastodon.social/tags/mathlib" class="mention hashtag" rel="tag">#<span>mathlib</span></a> <a href="https://mastodon.social/tags/lean4" class="mention hashtag" rel="tag">#<span>lean4</span></a></p>