Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://lab.nyanide.com/objects/13f2d8a2-2634-42b6-bd0d-6841a02aba65">Mercurial "The Game" Black (merc@lab.nyanide.com)'s status on Sunday, 08-Sep-2024 07:04:57 JST</a><a href="https://lab.nyanide.com/users/Merc" title="merc@lab.nyanide.com"><img src="https://gnusocial.jp/avatar/279790-48-20240926020426.webp" width="48" height="48" alt='Mercurial "The Game" Black' style="position: absolute; left: 0; top: 0;">Mercurial "The Game" Black</a><div><a href="https://lab.nyanide.com/objects/ef3e198b-7cad-4add-bedc-fa76dd25de9d" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article><a href="https://lab.nyanide.com/users/kirby">@kirby</a> have you at least defined the axioms of predicate calculus and the rules for term reduction</article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/3630934#notice-7117909">In conversation</a><time datetime="2024-09-08T07:04:57+09:00" title="Sunday, 08-Sep-2024 07:04:57 JST">about 3 months ago</time> <span>from <span><a href="https://lab.nyanide.com/objects/13f2d8a2-2634-42b6-bd0d-6841a02aba65" rel="external" title="Sent from lab.nyanide.com via ActivityPub">lab.nyanide.com</a></span></span><a href="https://lab.nyanide.com/objects/13f2d8a2-2634-42b6-bd0d-6841a02aba65">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
Mercurial "The Game" Black (merc@lab.nyanide.com)'s status on Sunday, 08-Sep-2024 07:04:57 JSTMercurial "The Game" Black
in reply to
- Pleroma-tan
@kirby have you at least defined the axioms of predicate calculus and the rules for term reduction
In conversationabout 3 months ago from lab.nyanide.compermalink

Public

Embed Notice

HTML Code

Corresponding Notice