Skip to content

State and prove some theorems#17

Merged
aria-eide merged 21 commits into
mainfrom
theorems
Oct 21, 2025
Merged

State and prove some theorems#17
aria-eide merged 21 commits into
mainfrom
theorems

Conversation

@aria-eide
Copy link
Copy Markdown
Collaborator

+ some typos and organizational stuff

@aria-eide aria-eide requested a review from voiestad October 17, 2025 14:15
Copy link
Copy Markdown
Member

@voiestad voiestad left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Mostly great, have a look at the comments

Comment thread theories/Section4/BalanceTime.v Outdated
Comment thread theories/StringUtil.v
Comment thread theories/StringUtil.v Outdated
@voiestad voiestad self-requested a review October 21, 2025 10:54
Copy link
Copy Markdown
Member

@voiestad voiestad left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🐔

@aria-eide
Copy link
Copy Markdown
Collaborator Author

🐓

@aria-eide aria-eide merged commit 15c28d3 into main Oct 21, 2025
1 check passed
@aria-eide aria-eide deleted the theorems branch October 21, 2025 12:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants