liquid-rust
liquid-rust copied to clipboard
nilehmann
Results
1
liquid-rust issues
Sort by
recently updated
recently updated
newest added
I am excited by this project, it looks great so far! Do you have any thoughts about how this compares to [Prusti](https://github.com/viperproject/prusti-dev)?
