Check equality of expressions up to convertibility · EasyCrypt/easycrypt@69152ab

Triggered via pull request June 5, 2026 13:45

strub

synchronize #996

fix-990

Status Success

Total duration 5m 22s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:93a1ddcc66a66f5aedee143715d246b0469a3f506033c2e80f9fecbc8ed50390`