New lemmas for stdlib · EasyCrypt/easycrypt@3d7137b

Triggered via pull request July 2, 2026 13:56

strub

synchronize #1053

lemmas-from-oram

Status Success

Total duration 6m 57s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:b8ff53c7825af377c4794198aa1f48ab80eb13d023102ec5a3e632a15964c12e`