Additional quotient theory with user provided `canon` map · EasyCrypt/easycrypt@2cb7f4e

Triggered via pull request June 23, 2026 13:38

oskgo

synchronize #1058

migrate-to-quotient

Status Success

Total duration 5m 13s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:7d8f1fcf62c05322c408120a3ab1530325035bfb423ef997498727be50332889`