|
|
|
|
|
|
by eudox
3632 days ago
|
|
|
That's not quite how I'd put it. The documentation is pretty scarce, but if it's anything like Rust, you have to be explicit about ownership and somewhat explicit about lifetimes. That is, it's not just "rewrite your program until the prover succeeds". |
|
|