Remix.run Logo
LurkandComment 5 days ago

Open-banking will make formal verification go mainstream.