TryWhy3 - Symlink of alt-ergo-worker.js instead of the real file
The README.md
located in src/trywhy3
tells to run mv alt-ergo-worker.js ..
but it is a symlink of the file _build/default/src/bin/js/worker_js.bc.js
. This implies that the file will not be found by javascript when the engine is launched.