feat(phl): add `simplify if` tactic · EasyCrypt/easycrypt@dc05bbf

Triggered via pull request April 13, 2026 20:17

strub

synchronize #973

if-conversion

Status Success

Total duration 3m 55s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:3dcf0517d197b547b990da693dbc906a20f9e0c653f27c298ae2da74e4df1057`