New lemmas for stdlib · EasyCrypt/easycrypt@036e9b9

Triggered via pull request July 2, 2026 17:28

strub

synchronize #1053

lemmas-from-oram

Status Success

Total duration 6m 49s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:58298dd9c90cba48706e3b20da990381e9d3f9c635ea1125fca483d82fe35e78`