@pervognsen @tmyklebu Wow, that's pretty rough going. As per the Dafny support, I'm curious if you could find the right combination of syntax sugar and automation to not actually require a separate tactic language for practical SW verification usage.
=> More informations about this toot | View the thread | More toots from zwarich@hachyderm.io
=> View pervognsen@mastodon.social profile | View tmyklebu@mastodon.gamedev.place profile
text/geminiThis content has been proxied by September (ba2dc).