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

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mathstodon.xyz/users/julesh/statuses/113765932628711675">julesh (julesh@mathstodon.xyz)'s status on Saturday, 04-Jan-2025 03:52:51 JST</a><a href="https://mathstodon.xyz/@julesh" title="julesh@mathstodon.xyz"><img src="https://gnusocial.jp/avatar/180791-48-20231002164329.webp" width="48" height="48" alt="julesh" style="position: absolute; left: 0; top: 0;">julesh</a><div><a href="https://mathstodon.xyz/@fl/113765911815901228" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article><p><a href="https://mathstodon.xyz/@fl">@fl</a> I'm sure it can be, I don't really know anything about it but I guess it's a bad idea, similarly Idris could in principle be used as a proof assistant but it would be the wrong tool for the job</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4276532#notice-8420523">In conversation</a><time datetime="2025-01-04T03:52:51+09:00" title="Saturday, 04-Jan-2025 03:52:51 JST">about 2 months ago</time> <span>from <span><a href="https://mathstodon.xyz/@julesh/113765932628711675" rel="external" title="Sent from mathstodon.xyz via ActivityPub">mathstodon.xyz</a></span></span><a href="https://mathstodon.xyz/@julesh/113765932628711675">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
julesh (julesh@mathstodon.xyz)'s status on Saturday, 04-Jan-2025 03:52:51 JSTjulesh
in reply to
- fl
@fl I'm sure it can be, I don't really know anything about it but I guess it's a bad idea, similarly Idris could in principle be used as a proof assistant but it would be the wrong tool for the job
In conversationabout 2 months ago from mathstodon.xyzpermalink

Public

Embed Notice

HTML Code

Corresponding Notice