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

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mastodon.social/users/mcc/statuses/113676306788805757">mcc (mcc@mastodon.social)'s status on Thursday, 19-Dec-2024 08:01:56 JST</a><a href="https://mastodon.social/@mcc" title="mcc@mastodon.social"><img src="https://gnusocial.jp/avatar/10951-48-20220921192024.webp" width="48" height="48" alt="mcc" style="position: absolute; left: 0; top: 0;">mcc</a><div><a href="https://mastodon.online/@darabos/113676304398022308" rel="in-reply-to">in reply to</a><ul><li><li><a href="https://gnusocial.jp/user/160011" title="darabos@mastodon.online">Daniel Darabos</a></li></ul></div></section><article><p><a href="https://mastodon.online/@darabos">@darabos</a> <a href="https://wandering.shop/@xgranade">@xgranade</a> Okay I'm sorry but I'm confused. Is Lean a soundness prover, a programming lanuage, or what?</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4213235#notice-8234380">In conversation</a><time datetime="2024-12-19T08:01:56+09:00" title="Thursday, 19-Dec-2024 08:01:56 JST">about 5 months ago</time> <span>from <span><a href="https://mastodon.social/@mcc/113676306788805757" rel="external" title="Sent from mastodon.social via ActivityPub">mastodon.social</a></span></span><a href="https://mastodon.social/@mcc/113676306788805757">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
mcc (mcc@mastodon.social)'s status on Thursday, 19-Dec-2024 08:01:56 JSTmcc
in reply to
- Cassandra Granade 🏳️‍⚧️
- Daniel Darabos
@darabos @xgranade Okay I'm sorry but I'm confused. Is Lean a soundness prover, a programming lanuage, or what?
In conversationabout 5 months ago from mastodon.socialpermalink

Public

Embed Notice

HTML Code

Corresponding Notice