Something went wrong. Try again.
the next generation of the in-browser educational proof assistant
Something went wrong. Try again.
126 B · 7 lines
Shell
at main
12345678#!/bin/bash
npm install
./node_modules/.bin/esbuild --minify --bundle javascript-source/forester.js --outfile=forester.js