Merge pull request #148 from cryspen/franziskus/refactor-kyber-for-pr…

…oofs-1 Refactor kyber for proofs - part 1
cryspen · Dec 6, 2023 · 945f16e · 945f16e
2 parents cfa9be0 + a59f453
commit 945f16e
Show file tree

Hide file tree

Showing 15 changed files with 1,790 additions and 2,518 deletions.
diff --git a/proofs/fstar/extraction/Libcrux.Kem.Kyber.Conversions.fst b/proofs/fstar/extraction/Libcrux.Kem.Kyber.Conversions.fst