Skip to content

Typos and Capitalization#129

Merged
thomas-lamiaux merged 2 commits into
rocq-prover:mainfrom
thomas-lamiaux:typos
Apr 28, 2026
Merged

Typos and Capitalization#129
thomas-lamiaux merged 2 commits into
rocq-prover:mainfrom
thomas-lamiaux:typos

Conversation

@thomas-lamiaux
Copy link
Copy Markdown
Collaborator

No description provided.

@thomas-lamiaux thomas-lamiaux merged commit 7e22729 into rocq-prover:main Apr 28, 2026
2 checks passed
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.

1 participant