agda-unimath CI

Minkowski multiplication for semigroups, monoids, and commutative monoids #8940

Sign in to view logs

Triggered via pull request February 10, 2025 18:52

lowasser

synchronize #1309

lowasser:minkowski-sum-semigroup

Status Success

Total duration 3m 38s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck