Actions: EasyCrypt/easycrypt
Actions
1,153 workflow runs
1,153 workflow runs
split * and split + to iterate over top-level conjunct…
EasyCrypt CI
#4916:
Commit e2bb4eb
pushed
by
github-merge-queue
Bot
split * and split + to iterate over top-level conjunctions
EasyCrypt CI
#4909:
Pull request #1015
synchronize
by
strub
={pvar} in a single sided con…
EasyCrypt CI
#4899:
Commit 8c82b4d
pushed
by
github-merge-queue
Bot
congr pat and congr * variants
EasyCrypt CI
#4896:
Pull request #1016
opened
by
strub
split * and split + to iterate over top-level conjunctions
EasyCrypt CI
#4895:
Pull request #1015
synchronize
by
strub
split * and split + to iterate over top-level conjunctions
EasyCrypt CI
#4894:
Pull request #1015
opened
by
strub
Logic operators
EasyCrypt CI
#4893:
Pull request #1014
opened
by
oskgo