[chore] stabilise SMT and bump provers · EasyCrypt/easycrypt@cf82b19

Triggered via pull request July 28, 2026 11:57

fdupress

synchronize #1084

stabilise-smt

Status Success

Total duration 6m 28s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.93 MB	`sha256:4161f3aab8043c313d813df73a07c172f4b37fb7b8e8436bb47ad8f882033f89`