New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: prove CNFA.{ofFSM, msbSet} #901

Open

ineol wants to merge 1 commit into main from auto-ofFSM

Contributor

ineol commented Dec 20, 2024

No description provided.

github-actions bot commented Dec 20, 2024

Alive Statistics: 90 / 93 (3 failed)


          feat: prove CNFA.{ofFSM, msbSet}

352eb52

ineol force-pushed the auto-ofFSM branch from 7333dee to 352eb52 Compare

December 20, 2024 16:38

github-actions bot commented Dec 20, 2024

Alive Statistics: 90 / 93 (3 failed)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet