New lemmas for stdlib · EasyCrypt/easycrypt@47b2d90

Triggered via pull request July 2, 2026 14:32

strub

synchronize #1053

lemmas-from-oram

Status Success

Total duration 6m 58s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:49cf18c2f1c52c3781059b434fcdc5c5fda56780b479b4eee568e889157df820`