Hacker News new | ask | show | jobs
by slavak 1504 days ago
You might be interested in Prusti: https://github.com/viperproject/prusti-dev