Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://tomo.airen-no-jikken.icu/objects/70bc815c-a0fa-432d-8c04-12eacba1b66f">バツ子（ラブと小雨 (shmibs@tomo.airen-no-jikken.icu)'s status on Saturday, 15-Oct-2022 02:44:35 JST</a><a href="https://tomo.airen-no-jikken.icu/users/shmibs" title="shmibs@tomo.airen-no-jikken.icu"><img src="https://gnusocial.jp/avatar/4858-48-20221014134657.webp" width="48" height="48" alt="バツ子（ラブと小雨" style="position: absolute; left: 0; top: 0;">バツ子（ラブと小雨</a><div><a href="https://tomo.airen-no-jikken.icu/objects/cd281a31-d872-497a-802f-6be6ae43e011" rel="in-reply-to">in reply to</a><ul><li><li><a href="https://gnusocial.jp/user/6731" title="placholdr@pl.nulled.red">JyatiriJygalo</a></li></ul></div></section><article><a href="https://pl.nulled.red/users/placholdr">@placholdr</a> <br><a href="https://leanprover-community.github.io/mathematics_in_lean/">https://leanprover-community.github.io/mathematics_in_lean/</a></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/258363#notice-457099">In conversation</a><time datetime="2022-10-15T02:44:35+09:00" title="Saturday, 15-Oct-2022 02:44:35 JST">Saturday, 15-Oct-2022 02:44:35 JST</time> <span>from <span><a href="https://tomo.airen-no-jikken.icu/objects/70bc815c-a0fa-432d-8c04-12eacba1b66f" rel="external" title="Sent from tomo.airen-no-jikken.icu via ActivityPub">tomo.airen-no-jikken.icu</a></span></span><a href="https://tomo.airen-no-jikken.icu/objects/70bc815c-a0fa-432d-8c04-12eacba1b66f">permalink</a><h4>Attachments</h4><ol><li><article><header><div>No result found on File_thumbnail lookup.</div><h5><a href="https://leanprover-community.github.io/mathematics_in_lean/">Mathematics in Lean — Mathematics in Lean 0.1 documentation</a></h5><div></div></header><div></div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
バツ子（ラブと小雨 (shmibs@tomo.airen-no-jikken.icu)'s status on Saturday, 15-Oct-2022 02:44:35 JSTバツ子（ラブと小雨
in reply to
- バツ子（ラブと小雨
- JyatiriJygalo
@placholdr
https://leanprover-community.github.io/mathematics_in_lean/
In conversationSaturday, 15-Oct-2022 02:44:35 JST from tomo.airen-no-jikken.icupermalink
Attachments
1. No result found on File_thumbnail lookup.
  Mathematics in Lean — Mathematics in Lean 0.1 documentation

Public

Embed Notice

HTML Code

Corresponding Notice