User:RobinCodes: Difference between revisions
Jump to navigation
Jump to search
RobinCodes (talk | contribs) Created page with "Discord: @robincodes" |
RobinCodes (talk | contribs) Added reference to new page |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
Discord: @robincodes | Discord: @robincodes | ||
* [[User:RobinCodes/Work on BB Domains]] # Holdout count by several aspects, current activity and informal proof counts per domain. | |||
* [[User:RobinCodes/Valuable user pages]] # A list of user pages that contain helpful and up-to-date information. | |||
* [[User:RobinCodes/Next Steps]] # A list of domains and some of the most low-hanging options possible to contribute. | |||
Latest revision as of 15:17, 25 October 2025
Discord: @robincodes
- User:RobinCodes/Work on BB Domains # Holdout count by several aspects, current activity and informal proof counts per domain.
- User:RobinCodes/Valuable user pages # A list of user pages that contain helpful and up-to-date information.
- User:RobinCodes/Next Steps # A list of domains and some of the most low-hanging options possible to contribute.