agda-unimath CI

Reassociated conjugation is the identity #8671

Sign in to view logs

Triggered via pull request February 4, 2025 23:46

lowasser

synchronize #1270

lowasser:conjugate-prime

Status Success

Total duration 5m 20s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck