Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Proof T4RUPT_PROGRAM #642 (pages 172-189) #837

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Proof T4RUPT_PROGRAM #642 (pages 172-189) #837

wants to merge 1 commit into from

Conversation

dimitraz
Copy link

@dimitraz dimitraz commented Oct 26, 2021 •
edited
Loading

Minor changes, mainly a few small typos in the comments

Issue link: #642
First PR: #836

@dimitraz dimitraz mentioned this pull request Oct 26, 2021
Open
@github-actions github-actions bot added the Type: Proof Comanche55 and Luminary99 files label Oct 27, 2021
@wopian wopian self-requested a review October 27, 2021 13:10
@wopian wopian self-assigned this Oct 27, 2021
@wopian wopian added this to the Luminary099 milestone Oct 27, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@wopian wopian Awaiting requested review from wopian

Assignees

@wopian wopian

Labels
hacktoberfest-accepted Status: Review Needed Type: Proof Comanche55 and Luminary99 files
Projects
None yet
Milestone
Luminary099
Development

Successfully merging this pull request may close these issues.
2 participants
@dimitraz @wopian