Closed joneugster closed 2 months ago
It would be really convenient if one could enter leanprover-community in the search and find all repos that are of the form leanprover-community/[XYZ].
leanprover-community
leanprover-community/[XYZ]
It would be really convenient if one could enter
leanprover-communityin the search and find all repos that are of the formleanprover-community/[XYZ].