José A. Alonso<p>Readings shared April 2, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/02-readings_shared_04-02-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/02-readings_shared_04-02-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/HOL4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HOL4</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Mathlib" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathlib</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
veganism.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Veganism Social is a welcoming space on the internet for vegans to connect and engage with the broader decentralized social media community.
Administered by:
Server stats:
240active users
veganism.social: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.0-alpha.4
#mathlib
0 posts · 0 participants · 0 posts today
José A. Alonso<p>Basic probability in Mathlib. ~ Rémy Degenne. <a href="https://leanprover-community.github.io/blog/posts/basic-probability-in-mathlib/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leanprover-community.github.io</span><span class="invisible">/blog/posts/basic-probability-in-mathlib/</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Mathlib" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathlib</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></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" 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" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/lean" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lean</span></a> <a href="https://mastodon.social/tags/mathlib" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathlib</span></a> <a href="https://mastodon.social/tags/lean4" class="mention hashtag" rel="nofollow noopener" 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" 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" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/lean" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lean</span></a> <a href="https://mastodon.social/tags/mathlib" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathlib</span></a> <a href="https://mastodon.social/tags/lean4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lean4</span></a></p>
José A. Alonso<p>Readings shared February 5, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/02/05-readings_shared_02-05-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/02/05-readings_shared_02-05-25</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Mathlib" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathlib</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>A semantic search engine for Mathlib4. ~ Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, Bin Dong. <a href="https://arxiv.org/abs/2403.13310" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2403.13310</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Mathlib" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathlib</span></a></p>
VegansExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload