Skip to content
Google GitHub Admin: Actions Workflow Security Scan

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

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

Run time

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