Skip to content

giry monad is symmetric monoidal (wip) #1281

giry monad is symmetric monoidal (wip)

giry monad is symmetric monoidal (wip) #1281

Triggered via pull request February 26, 2026 09:05
Status Success
Total duration 45m 15s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
44m 20s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_giry_20260226
6.79 MB
sha256:b92cd3fa28fdf9f78c34b96adb8405f9dadf73800f3c54e1d295f6f5f643bee8