Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113743000035732195">José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Tuesday, 31-Dec-2024 06:21:44 JST</a><a href="https://mathstodon.xyz/@Jose_A_Alonso" title="jose_a_alonso@mathstodon.xyz"><img src="https://gnusocial.jp/avatar/118878-48-20230515074730.webp" width="48" height="48" alt="José A. Alonso" style="position: absolute; left: 0; top: 0;">José A. Alonso</a></section><article><p>Rocq prover: A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more. <a href="https://rocq-prover.org/" rel="nofollow noreferrer">https://rocq-prover.org/</a> <a href="https://mathstodon.xyz/tags/ITP" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/Rocq" rel="tag">#Rocq</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4283784#notice-8374015">In conversation</a><time datetime="2024-12-31T06:21:44+09:00" title="Tuesday, 31-Dec-2024 06:21:44 JST">about 2 months ago</time> <span>from <span><a href="https://mathstodon.xyz/@Jose_A_Alonso/113743000035732195" rel="external" title="Sent from mathstodon.xyz via ActivityPub">mathstodon.xyz</a></span></span><a href="https://mathstodon.xyz/@Jose_A_Alonso/113743000035732195">permalink</a><h4>Attachments</h4><ol><li><article><header><div>Domain not in remote thumbnail source whitelist: rocq-prover.org</div><h5><a href="https://rocq-prover.org/">Welcome to a World of Rocq</a></h5><div></div></header><div>Rocq is a general-purpose, industrial-strength interactive theorem prover.</div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
José A. Alonso (jose_a_alonso@mathstodon.xyz)'s status on Tuesday, 31-Dec-2024 06:21:44 JST José A. Alonso
Rocq prover: A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more. https://rocq-prover.org/ #ITP #Rocq
In conversationabout 2 months ago from mathstodon.xyzpermalink
Attachments
1. Domain not in remote thumbnail source whitelist: rocq-prover.org
  Welcome to a World of Rocq
  Rocq is a general-purpose, industrial-strength interactive theorem prover.

Public

Embed Notice

HTML Code

Corresponding Notice