Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Brief Write Up On This Project #24

Open
AFg6K7h4fhy2 opened this issue Jan 1, 2025 · 0 comments · May be fixed by #27
Open

Brief Write Up On This Project #24

AFg6K7h4fhy2 opened this issue Jan 1, 2025 · 0 comments · May be fixed by #27
Assignees
@AFg6K7h4fhy2
Labels
enhancement Enhancement to existing feature or aspect of the project. Medium Priority A task that is of medium relative priority.
Milestone
[January 1, Janua...

Comments

@AFg6K7h4fhy2
Copy link
Owner

This issue covers writing up a short post on this project (once the Lean proofs are attempted) on a popular blogging site.
@AFg6K7h4fhy2 AFg6K7h4fhy2 self-assigned this Jan 1, 2025
@AFg6K7h4fhy2 AFg6K7h4fhy2 added enhancement Enhancement to existing feature or aspect of the project. Medium Priority A task that is of medium relative priority. labels Jan 7, 2025
@AFg6K7h4fhy2 AFg6K7h4fhy2 added this to the [January 1, January 30] milestone Jan 7, 2025
@AFg6K7h4fhy2 AFg6K7h4fhy2 linked a pull request Jan 7, 2025 that will close this issue
Open
@AFg6K7h4fhy2 AFg6K7h4fhy2 linked a pull request Jan 7, 2025 that will close this issue
Brief Write Up On This Project #27
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@AFg6K7h4fhy2 AFg6K7h4fhy2

Labels
enhancement Enhancement to existing feature or aspect of the project. Medium Priority A task that is of medium relative priority.
Projects
None yet
Milestone
[January 1, January 30]
Development

Successfully merging a pull request may close this issue.

Brief Write Up On This Project AFg6K7h4fhy2/Re-TDWMFC-2024
1 participant
@AFg6K7h4fhy2