|
|
|
|
|
|
by livinginfear
1811 days ago
|
|
|
What kind of scalable approach are you describing? Rust is not formally verifiable. I'm aware that there are projects attempting to solve this problem, however as I understand it you can't currently create verifiable production code. |
|
|