Skip to content

make alphabetProof smarter#22

Merged
frankrolf merged 8 commits into
mainfrom
alphabet-proof-ws
Aug 19, 2025
Merged

make alphabetProof smarter#22
frankrolf merged 8 commits into
mainfrom
alphabet-proof-ws

Conversation

@frankrolf

Copy link
Copy Markdown
Member

… and some other fixes

@frankrolf frankrolf merged commit 392e3bd into main Aug 19, 2025
@frankrolf frankrolf deleted the alphabet-proof-ws branch August 19, 2025 23: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.

1 participant