Skip to content
Google GitHub Admin: Actions Workflow Security Scan

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

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

Run time

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