This repository has been archived by the owner on Oct 26, 2021. It is now read-only.

Comparison with other systems #27

Open

rw opened this issue Feb 9, 2021 · 0 comments

rw commented Feb 9, 2021

I am excited by this project, it looks great so far!

Do you have any thoughts about how this compares to Prusti?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.