Skip to content
Google GitHub Admin: Actions Workflow Security Scan

Replace quantifiers with array extensionality for map bijection in verifier #1522

Sign in to view logs

Replace quantifiers with array extensionality for map bijection in verifier

Replace quantifiers with array extensionality for map bijection in verifier #1522

Run time

Learn about OS pricing on GitHub Actions
Job Run time
scan-pr
44s
44s