OCamlot
Feed
Users
Log in/Register
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> Would make a good TLA+ project.</p>
Posted on 9th of Nov 2024
Reply
Erik
erewok@fosstodon.org
1