Benjamin Salling Hvass

ring tactic for math-comp integers

6

I made the math-comp type int work with the ring tactic (https://coq.inria.fr/refman/addendum/ring.html) in much the same way the math-comp type nat already does. Is this of general interest? One caveat...

Compilation to wasm

7

Compilation to wasm does not seem to work. I've tried on several machines and with several commands. The [wasm job](https://github.com/cryspen/libcrux/blob/main/.github/workflows/rust.yml#L121-L138) also seems to have been skipped in recent commits. Running...