@zwarich I'd been loosely aware of F* by name only but finally got around to reading the main paper and it's very interesting. Have you looked at it at all? https://fstar-lang.org/papers/mumon/
=> More informations about this toot | View the thread | More toots from pervognsen@mastodon.social
=> View zwarich@hachyderm.io profile
text/geminiThis content has been proxied by September (ba2dc).