lyonel2017
Results
3
issues of
lyonel2017
I think the following assignment is dead code and can be removed: https://github.com/formosa-crypto/libjade/blob/0daf13f4aa03db5494550811576227121f730eb1/src/crypto_kem/kyber/common/amd64/ref/reduce.jinc#L42
Add documentation for tactic `ensatz` introduced by [PR](https://github.com/rocq-prover/stdlib/pull/160) - [ ] Added **changelog**. - [ ] Added / updated **documentation**. - [ ] Documented any new / changed **user messages**....
needs: full CI