Skip to content
Google GitHub Admin: Actions Workflow Security Scan

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

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 #1519

Run time

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