According to the Readme, this is based on a more-general verification framework called Viper, which apparently works for several languages (including Rust): htt

According to the Readme, this is based on a more-general verification framework called Viper, which apparently works for several languages (including Rust): https://www.pm.inf.ethz.ch/research/viper.html https://www.pm.inf.ethz.ch/research/viper.html There also appear to be equivalents of this tool in Python ("Nagini" https://www.pm.inf.ethz.ch/research/nagini.html https://www.pm.inf.ethz.ch/research/nagini.html) and Go ("Gobra" https://www.pm.inf.ethz.ch/research/gobra.html https://www.pm.inf.ethz.ch/research/gobra.html). I'll definitely be checking out Nagini for my work!