Additonal lemmas on fset (oflist) equality and a lemma on perm_eq/undup · EasyCrypt/easycrypt@bfd928a

Triggered via pull request July 19, 2023 07:26

MM45

opened #425

Status Success

Total duration 12m 24s

Artifacts 2

ci.yml

on: pull_request

Matrix: Check EasyCrypt Libraries

Matrix: Check EasyCrypt External Projects

Produced during runtime

Name	Size
report.log (examples) Expired	6.37 KB
report.log (stdlib) Expired	16 KB