leanprover-community / leanprover-community/mathlib4
Ideas for contribution by undergraduate computer science students
Open
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 4.2k
- Forks
- 1.7k
- PR merge metrics
- No merged PRs in 30d
Description
Hi. I teach in a computer science department. Students in our department have to do an annual project in their 3rd year. Are there any additions needed in mathlib, that would be reasonable for students to implement in a year? These should not be just trivial issues (e.g. documentation edits, fixing minor bugs); they should also not require esoteric research-level mathematics. Any ideas?
Contributor guide
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
The issue names mathlib4 but provides no file, test, or entry point to inspect. It asks for possible year-long project ideas rather than defining a change or a completion condition.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100