Commit History
-
AProver Space — built from main@d852c29 Running
Humaid AlqasimiSnapshot generated by web/deploy_to_space.sh: Dockerfile and the demo README promoted to the repo root, heavy dirs dropped. Parentless by design — see that script for why. Do not commit here by hand; this branch is rebuilt from scratch on every deploy.4f0bd4e