We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
[283],[351] move to collab, formalize
[1151] move to collab + formalize
[330] move to collab, formalize
[425] formalize
[164] formalize
[1138] formalize
[393] collab
[866] collab
literature authors cleanup
update name of person
[283],[351] pending
[288] pending
Remove “(Lean)” if that’s done after the contribution
Clean entries that don’t make progress but not wrong
typo
[694] formalize
[750] pending
[1194] collab
[639] formalize
[390] pending
[694] standalone
[696] move to collab
[38] move to standalone + formalize
Standardize some minor articles and punctuations
[42] collab
[983] pending
[202],[1190] pending
[1201] pending
[1151] pending