agda-unimath CI

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

Sign in to view logs

Triggered via pull request February 10, 2025 19:22

lowasser

synchronize #1309

lowasser:minkowski-sum-semigroup

Status Success

Total duration 3m 19s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck