feat(theories): new `Geometric` theory and other minor additions · EasyCrypt/easycrypt@84c7ce2

Triggered via pull request March 3, 2026 14:14

loutr

opened #922

Status Success

Total duration 3m 50s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.87 MB	`sha256:e39992eafa3b531a818923ef3dca8d823986c16338e2c1870a79c985542c1b37`