Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://floss.social/users/janriemer/statuses/113402927148166603">Jan :rust: :ferris: (janriemer@floss.social)'s status on Monday, 16-Dec-2024 03:04:12 JST</a><a href="https://floss.social/@janriemer" title="janriemer@floss.social"><img src="https://gnusocial.jp/theme/gnusocialjp/default-avatar-stream.png" width="48" height="48" alt="Jan :rust: :ferris:" style="position: absolute; left: 0; top: 0;">Jan :rust: :ferris:</a><div><a href="https://floss.social/@janriemer/113402924339509851" rel="in-reply-to">in reply to</a></div></section><article><p>F* (pronounced F star)</p><p><a href="https://fstar-lang.org/" rel="nofollow noreferrer">https://fstar-lang.org/</a></p><p>"F* is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on <a href="https://floss.social/tags/SMT" rel="tag">#SMT</a> solving and tactic-based interactive theorem proving."</p><p>2/2</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4191828#notice-8193217">In conversation</a><time datetime="2024-12-16T03:04:12+09:00" title="Monday, 16-Dec-2024 03:04:12 JST">about 2 months ago</time> <span>from <span><a href="https://floss.social/@janriemer/113402927148166603" rel="external" title="Sent from floss.social via ActivityPub">floss.social</a></span></span><a href="https://floss.social/@janriemer/113402927148166603">permalink</a><h4>Attachments</h4><ol><li><article><header><div>Domain not in remote thumbnail source whitelist: fstar-lang.org</div><h5><a href="https://fstar-lang.org/">F*: A Proof-Oriented Programming Language</a></h5><div></div></header><div></div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
Jan :rust: :ferris: (janriemer@floss.social)'s status on Monday, 16-Dec-2024 03:04:12 JST Jan :rust: :ferris:
in reply to
F* (pronounced F star)
https://fstar-lang.org/
"F* is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on #SMT solving and tactic-based interactive theorem proving."
2/2
In conversationabout 2 months ago from floss.socialpermalink
Attachments
1. Domain not in remote thumbnail source whitelist: fstar-lang.org
  F*: A Proof-Oriented Programming Language

Public

Embed Notice

HTML Code

Corresponding Notice