Skip to content

doc(All): Spelling fixes found using codespell#538

Merged
chenson2018 merged 1 commit into
leanprover:mainfrom
Arleee1:typos
May 3, 2026
Merged

doc(All): Spelling fixes found using codespell#538
chenson2018 merged 1 commit into
leanprover:mainfrom
Arleee1:typos

Conversation

@Arleee1
Copy link
Copy Markdown
Contributor

@Arleee1 Arleee1 commented May 3, 2026

Fixes a few typos found using codespell

@chenson2018
Copy link
Copy Markdown
Collaborator

Thanks!

@chenson2018 chenson2018 added this pull request to the merge queue May 3, 2026
Merged via the queue into leanprover:main with commit 3716b27 May 3, 2026
2 checks passed
@Arleee1 Arleee1 deleted the typos branch May 3, 2026 13:49
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