Skip to content
Checks

Added some more preconditions using hax::implies and hax::forall and … #186

Sign in to view logs

Added some more preconditions using hax::implies and hax::forall and …

Added some more preconditions using hax::implies and hax::forall and … #186

Run time

Learn about OS pricing on GitHub Actions
Job Run time
fmt
5s
5s