Skip to content
hax

Added some more preconditions using hax::implies and hax::forall and slight refactoring. #67

Sign in to view logs

Added some more preconditions using hax::implies and hax::forall and slight refactoring.

Added some more preconditions using hax::implies and hax::forall and slight refactoring. #67

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hax
13m 54s
13m 54s