Link to Dafny-Rust docsHEADmaster

1 files changed, 1 insertions, 1 deletions

diff --git a/README.md b/README.md
index 8a84832..a44da9f 100644
--- a/README.md
+++ b/README.md
@@ -35,6 +35,6 @@ SD is designed to be extremely efficient and [supports decks with millions of fl
 
 ## Formal verification
 
-This repo has been somewhat hijacked to also host a [formally verified Fenwick trees library](fenwick.dfy) written in [Dafny](https://dafny.org). To translate the Dafny code into Rust (or any [other languages supported by Dafny](https://dafny.org/dafny/DafnyRef/DafnyRef.html#sec-dafny-translate)), run `dafny build -t rs fenwick.dfy`.
+This repo has been somewhat hijacked to also host a [formally verified Fenwick trees library](fenwick.dfy) written in [Dafny](https://dafny.org). To translate the Dafny code into [Rust](https://github.com/dafny-lang/dafny/blob/master/docs/DafnyRef/integration-rust/IntegrationRust.md) (or any [other languages supported by Dafny](https://dafny.org/dafny/DafnyRef/DafnyRef.html#sec-dafny-translate)), run `dafny build -t rs fenwick.dfy`.
 
 Now run `CARGO_NET_GIT_FETCH_WITH_CLI=true cargo add --git https://git.unnamed.website/sdc dafny_runtime fenwick` to use this library in your Rust project. See [SDRS](/sdrs) for example usage.