|
|
|
|
|
|
by vacuity
427 days ago
|
|
|
Agreed. Rust is on track to becoming a practical language for many verification projects. If necessary, perhaps a dialect that focuses on verification could be made and separately maintained (it would probably cut out a lot of normal Rust), or one would just switch to a different technology. |
|
|