leanprover-community-bot
Results
1
issues of
leanprover-community-bot
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...