TryWhy3 - Version 1.12 of zarith not compatible with the file "alt-ergo-worker.js"
The command opam exec make js-worker
fails with the version 1.12 of the library zarith with the output:
Missing primitives:
ml_z_mul_overflows
The problem is solved by downgrading zarith's version to 1.11.