Skip to content

fix: dfa example typo#877

Merged
leanprover-bot merged 1 commit into
mainfrom
dfa-typo
Jun 26, 2026
Merged

fix: dfa example typo#877
leanprover-bot merged 1 commit into
mainfrom
dfa-typo

Conversation

@robsimmons

Copy link
Copy Markdown
Collaborator

No description provided.

@leanprover-bot leanprover-bot added the HTML available HTML has been generated for this PR label Jun 26, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Preview for this PR is ready! 🎉 (also as a proofreading version). built with commit f6e252f.

@leanprover-bot leanprover-bot added this pull request to the merge queue Jun 26, 2026
Merged via the queue into main with commit 48748e9 Jun 26, 2026
10 checks passed
@leanprover-bot leanprover-bot deleted the dfa-typo branch June 26, 2026 20:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

HTML available HTML has been generated for this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants