Skip to content

State and prove some theorems - #17

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

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

@voiestad voiestad left a comment

Copy link
Copy Markdown
Member

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 Resolved
Comment thread theories/StringUtil.v Resolved
Comment thread theories/StringUtil.v Resolved
@voiestad
voiestad self-requested a review October 21, 2025 10:54

@voiestad voiestad left a comment

Copy link
Copy Markdown
Member

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
@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