This discussion is also interesting wrt the rust verification: https://news.ycombinator.com/item?id=30174827 https://news.ycombinator.com/item?id=30174827 . Cre

This discussion is also interesting wrt the rust verification: https://news.ycombinator.com/item?id=30174827 https://news.ycombinator.com/item?id=30174827 . Creusot author did comment on it. Seems like there finally will be alternatives to Ada SPARK.