|
|
|
|
|
|
by ebingdom
1464 days ago
|
|
|
> Welcome to Move, a next generation language for secure, sandboxed, and formally verified programming. I didn't see anything about formal verification in the rest of the documentation. Does it have dependent types? Does it have a model checker? Does it have anything that would allow me to verify mathematical properties of my code? |
|
|