why dont the doc. mention ,to prefer rust if "formal-verification"(at cost of compile-time) is the goal #3606
Closed
gintominto5329
started this conversation in
General
Replies: 1 comment
-
|
Our docs do suggest to prefer Rust if it works for you in the "why not rust" FAQ entry. If you have a specific suggestion for an improvement to that entries wording, a PR would probably be the most clear way to articulate what could be improved? |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
thanks
Beta Was this translation helpful? Give feedback.
All reactions