search

LDY1998 / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.ethz.ch
Other
0 stars 0 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated