chrisflav / chrisflav/mathlib-staging
Flat sheaves of modules
Open
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 0
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
Check the diff of https://github.com/chrisflav/mathlib4/pull/2/changes and port the file about the definition of flat sheaves of modules on a scheme to this repository.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reviewing the changes in the linked pull request and identify the file defining flat sheaves of modules on a scheme. Compare that file with this repository's structure and existing conventions, then port it here. Done means the definition is present and the relevant project checks pass.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100