Skip to content
Ubuntu build

Experiment with notation for algebra and category theory #2077

Sign in to view logs

Experiment with notation for algebra and category theory

Experiment with notation for algebra and category theory #2077

Triggered via pull request August 26, 2023 11:44
@felixwellenfelixwellen
opened #1037
felixwellen:algebra-notation
Status Success
Total duration 3m 8s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
2m 58s
test-cubical
Fit to window
Zoom out
Zoom in