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?
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?