⚠️ proofs_with_lean: Latest Build Failed

The latest build of this project failed, but documentation from a previous successful build is available.

Options

📚
View Previous Documentation

From successful build at 2026-04-01T03:26:15-07:00

View Error Details

See what went wrong with the latest build

← Back to Summary