issues
search
viperproject
/
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.52k
stars
103
forks
source link
Test Viper release.
#1434
Closed
vakaras
closed
10 months ago