List view
tracking [Combinatorics section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Combinatorics)
No due date•3/20 issues closedhttps://www.claymath.org/millennium-problems/
No due date•2/6 issues closedtracking [Number theory (General) section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#General)
No due date•12/33 issues closedtracking [Topology section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Topology)
No due date•0/16 issues closedtracking [Group theory section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Group_theory)
No due date•4/11 issues closedProbive formalisatons of all unsolved problems from the Kourovka notebook: https://arxiv.org/pdf/1401.0300
No due date•0/18 issues closedtracking [Algebra section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Algebra)
No due date•4/26 issues closedFormalising all (open or solved) Problems from Green's 100 open problems
No due date•27/102 issues closedFormalise the main statement from all unsolved problems of https://www.erdosproblems.com/ These tracks the unsolved problems with the status "open", "verifiable" and "falsifiable" and "decidable". Note that for some formalisations of open problems in the repo, we haven't opened issues at all, hence the progress percentage will be an underestimate. The true number of open problems to be formalised can be found at https://github.com/teorth/erdosproblems and is currently 693.
No due date•290/692 issues closed