Unofficial modification from https://alt-ergo.ocamlpro.com/ .
This program is a modified version of the Alt Ergo js-worker, but instead of creating a worker, it exposes a function runAltErgo which does whatever the worker was supposed to do, but synchronously.