Skip to content

Add some more proofs#22

Merged
voiestad merged 2 commits into
mainfrom
admitteds
Nov 5, 2025
Merged

Add some more proofs#22
voiestad merged 2 commits into
mainfrom
admitteds

Conversation

@aria-eide
Copy link
Copy Markdown
Collaborator

No description provided.

@aria-eide aria-eide requested a review from voiestad November 5, 2025 12:25
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.

Looks good

@voiestad voiestad merged commit 94c90f8 into main Nov 5, 2025
1 check passed
@voiestad voiestad deleted the admitteds branch November 5, 2025 19:28
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