xyheme (npm): ```sh npm install npm run watch ```
Keywords: acl2|prover|scheme|structural-diff