feat: formal verification of unsafe blocks#143

remimimimimi wants to merge 1 commit intoprefix-dev:mainprefix-dev/resolvo:mainfrom

remimimimimi:light-formal-verificationremimimimimi/resolvo:light-formal-verificationCopy head branch name to clipboard