Eloitor / Eloitor/four-squares-modular-forms
Automatic upgrade has failed
Open
- Dominant language
- Lean
- Stars
- 2
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.
If your project currently builds, this is probably because of changes made in its dependencies:
* mathlib: [changes](https://github.com/leanprover-community/mathlib/compare/5491c5923bce75b5a1bc9ed31ef5d41f854792df...531bcd8d49c4399c26cfc56c2512b06df59e62d1)
You can see the errors by running:
```bash
leanproject up
leanproject build
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.