### Build Project and Verify Proofs

Source: https://github.com/google-deepmind/alphaproof-nexus-results/blob/main/README.md

Use these commands to build the project and verify all Lean proofs. Ensure Lean 4 is installed before running.

```bash
lake exe cache get
lake build
```

--------------------------------

### Build Project with Limited Parallelism

Source: https://github.com/google-deepmind/alphaproof-nexus-results/blob/main/README.md

If you encounter issues with too many open files on large machines, limit Lake's parallelism using the LEAN_NUM_THREADS environment variable.

```bash
LEAN_NUM_THREADS=64 lake build
```

=== COMPLETE CONTENT === This response contains all available snippets from this library. No additional content exists. Do not make further requests.