Skip to content

Issues: AFg6K7h4fhy2/Re-TDWMFC-2024

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Decision Document Or Section
#29 opened Jan 20, 2025 by AFg6K7h4fhy2
Modify README With Contribution Description documentation Explanations for aspects of the project. enhancement Enhancement to existing feature or aspect of the project. Medium Priority A task that is of medium relative priority.
#26 opened Jan 6, 2025 by AFg6K7h4fhy2 [January 1, January 30]
Brief Write Up On This Project enhancement Enhancement to existing feature or aspect of the project. Medium Priority A task that is of medium relative priority.
#24 opened Jan 1, 2025 by AFg6K7h4fhy2 [January 1, January 30]
Re-Create Table 1 And Consider Further Variables & Effects Low Priority A task that is of lower relative priority. meta Top-level considerations for the projects place and impact in the world.
#13 opened Dec 3, 2024 by AFg6K7h4fhy2 [January 1, January 30]
Utilities Diagram feature A new tool or utility being added. Low Priority A task that is of lower relative priority. meta Top-level considerations for the projects place and impact in the world. scope Decision-making on the scope of a tool, task, or object.
#10 opened Nov 20, 2024 by AFg6K7h4fhy2 [January 1, January 30]
Validation Of Theorem 4.2 In Lean feature A new tool or utility being added. first-pass A first-pass at a specific task; typically evolves into something more substantial later. Low Priority A task that is of lower relative priority.
#6 opened Nov 19, 2024 by AFg6K7h4fhy2 Backlog
Validation Of Theorem 4.1 In Lean feature A new tool or utility being added. first-pass A first-pass at a specific task; typically evolves into something more substantial later. Low Priority A task that is of lower relative priority.
#5 opened Nov 19, 2024 by AFg6K7h4fhy2 Backlog
Create Glossary Of Poorly Understood Terms Low Priority A task that is of lower relative priority. reproducibility Changes that make something more reproducible. resources Useful reference material(s). standards Related to best practices or standards.
#4 opened Nov 19, 2024 by AFg6K7h4fhy2 [January 1, January 30]
Tag Or Email Authors Regarding Implementation discussion Conversations, postulations, and reflections. Low Priority A task that is of lower relative priority. meta Top-level considerations for the projects place and impact in the world. user-feedback Pertaining to user feedback for certain project items.
#3 opened Nov 18, 2024 by AFg6K7h4fhy2 Backlog
Read TDWMFC-2024 And Take Notes discussion Conversations, postulations, and reflections. High Priority A task that is of higher relative priority. meta Top-level considerations for the projects place and impact in the world.
#1 opened Nov 18, 2024 by AFg6K7h4fhy2 [January 1, January 30]
ProTip! Type g i on any issue or pull request to go back to the issue listing page.