Actions: EasyCrypt/easycrypt
Actions
1,131 workflow runs
1,131 workflow runs
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
={pvar} in a single sided context
EasyCrypt CI
#4890:
Pull request #1013
opened
by
oskgo