diff options
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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. |