Skip to content
Back to pull request #138

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

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. #72

The logs for this run have expired and are no longer available.