Lasse Letager Hansen
Results
42
comments of
Lasse Letager Hansen
We also run into this issue when translating ElectionGuard
It seems everything is translating fine, however, [num-bigint](https://github.com/rust-num/num-bigint) does not fully translate to `fstar`. The required operations are only addition, multiplication and bit access, so writing the `fstar` lib for...