@joeychenofficial/alt-ergo-modified v2.4.0

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.