Post #3027541
2026-05-07 14:12 UTC
RE: https://mastodon.social/@tekknolagi/115879774232754368
Bumping this thread: is this separation logic? Some local reasoning thing? It feels very Hoare triple but I actually can't find anything about this because I have no idea what I'm talking about
Replies (0)
No replies.