Verify proofs

Remove quantifier in postconditions #691

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request February 5, 2024 19:28

stefan-aws

synchronize #144

small-improvements

Status Success

Total duration 56s

Artifacts –

verify.yml

on: pull_request