path: root/jobs/acl2-theorems.run

#!/usr/bin/env bash
set -euo pipefail

for path in $(find -type f -name '*.lisp'); do
    laminarc run acl2-verify path="$(pwd)/$path"
done