giry monad is symmetric monoidal (wip) #1280
generate_docs.yml
on: pull_request
generate-artifacts
44m 16s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
mathcomp-analysis_giry_20260226
|
6.79 MB |
sha256:7e42eaf19ef6fd812dd112adeb99534b1078df12f10b926f281eb9672deeff25
|
|