Tactic: add hoare split · EasyCrypt/easycrypt@b06aa8d

Triggered via pull request February 5, 2026 21:05

strub

opened #888

hoare-split

Status Success

Total duration 3m 35s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.84 MB	`sha256:3857647d8cbab907bed8402838448315858ba586726b42a4fabec243295a8de4`