Rényi-∞ divergence machinery for oracle-bounded reductions · EasyCrypt/easycrypt@9fa0ec3

Triggered via pull request July 22, 2026 14:21

strub

synchronize #1076

Status Success

Total duration 6m 44s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.93 MB	`sha256:160e9994ebb4c0bffd7ce5111c877ba9b25cd88f0633c3a7b22570b6a027dfde`