Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mastodon.social/users/rzeta0/statuses/113152835732754369">Tariq (rzeta0@mastodon.social)'s status on Tuesday, 17-Sep-2024 21:51:10 JST</a><a href="https://mastodon.social/@rzeta0" title="rzeta0@mastodon.social"><img src="https://gnusocial.jp/avatar/230869-48-20240323205353.webp" width="48" height="48" alt="Tariq" style="position: absolute; left: 0; top: 0;">Tariq</a></section><article><p>I'm developing a <a href="https://mastodon.social/tags/Lean4" rel="tag">#Lean4</a>  for <a href="https://mastodon.social/tags/maths" rel="tag">#maths</a> proofs course ..</p><p>.. designed specifically to ease learning the very basics with intentionally simple clear examples.</p><p> ⭐️ "by beginners, for beginners" ⭐️</p><p>join us on our journey..</p><p>🎬 youtube: <a href="https://www.youtube.com/@LeanFirstSteps/videos" rel="nofollow noreferrer">https://www.youtube.com/@LeanFirstSteps/videos</a></p><p>📚 blog: <a href="https://leanfirststeps.blogspot.com" rel="nofollow noreferrer">https://leanfirststeps.blogspot.com</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/3683076#notice-7215671">In conversation</a><time datetime="2024-09-17T21:51:10+09:00" title="Tuesday, 17-Sep-2024 21:51:10 JST">about 2 months ago</time> <span>from <span><a href="https://mastodon.social/@rzeta0/113152835732754369" rel="external" title="Sent from mastodon.social via ActivityPub">mastodon.social</a></span></span><a href="https://mastodon.social/@rzeta0/113152835732754369">permalink</a><h4>Attachments</h4><ol><li><label><a rel="external" href="https://gnusocial.jp/attachment/3182588">screenshot of Lean First Step YouTube channel</a></label><br><a href="https://files.mastodon.social/media_attachments/files/113/152/829/804/823/861/original/280160ab1f725d54.png" rel="external">https://files.mastodon.social/media_attachments/files/113/152/829/804/823/861/original/280160ab1f725d54.png</a></li><li><article><header><div>Domain not in remote thumbnail source whitelist: yt3.googleusercontent.com</div><h5><a href="https://www.youtube.com/@LeanFirstSteps/videos">LeanFirstSteps</a></h5><div></div></header><div>Tutorial videos for the course Lean: First Steps</div><footer></footer></article></li><li><article><header><div>No result found on File_thumbnail lookup.</div><h5><a href="https://leanfirststeps.blogspot.com/">Lean: First Steps</a></h5><div></div></header><div></div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
Tariq (rzeta0@mastodon.social)'s status on Tuesday, 17-Sep-2024 21:51:10 JST Tariq
I'm developing a #Lean4 for #maths proofs course ..
.. designed specifically to ease learning the very basics with intentionally simple clear examples.
⭐️ "by beginners, for beginners" ⭐️
join us on our journey..
🎬 youtube: https://www.youtube.com/@LeanFirstSteps/videos
📚 blog: https://leanfirststeps.blogspot.com
In conversationabout 2 months ago from mastodon.socialpermalink
Attachments
1. screenshot of Lean First Step YouTube channel
  https://files.mastodon.social/media_attachments/files/113/152/829/804/823/861/original/280160ab1f725d54.png
2. Domain not in remote thumbnail source whitelist: yt3.googleusercontent.com
  LeanFirstSteps
  Tutorial videos for the course Lean: First Steps
3. No result found on File_thumbnail lookup.
  Lean: First Steps

Public

Embed Notice

HTML Code

Corresponding Notice