Show HN: Forall – OpenSpec but with actual machine-checkable verification 16 hours ago (github.com) 1 comment Nolan_Lwin Reply Add to library sightspinner 13 hours ago I'm confused about what this is. Is basically doing formal verification on the things spec'd out?
sightspinner 13 hours ago I'm confused about what this is. Is basically doing formal verification on the things spec'd out?
I'm confused about what this is. Is basically doing formal verification on the things spec'd out?