new quotient theory with explicit canonical map · EasyCrypt/easycrypt@692ca89

Triggered via push June 24, 2026 10:16

main

Status Success

Total duration 4m 6s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:f367115da6404b9ce43d6b81a23e5d3bc878aef618f4624e98359bca1c884a26`