Update eclistings.sty (math style) · EasyCrypt/easycrypt@2d1130f

Triggered via pull request July 21, 2026 10:50

strub

synchronize #1082

update-eclistings.sty

Status Success

Total duration 6m 48s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.93 MB	`sha256:edd0c6733cdfc2dbc655dcb2298d5ced14a31210350bad09579101316f3c22dd`