Skip to content

Double theory for diagrammatic equations with unary operations #592

Double theory for diagrammatic equations with unary operations

Double theory for diagrammatic equations with unary operations #592

Triggered via pull request November 13, 2024 05:54
Status Success
Total duration 2m 2s
Artifacts 4

deploy.yml

on: pull_request
Deploy to netlify
30s
Deploy to netlify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
app
2.53 MB
dev-docs
4.47 MB
frontend_docs
601 KB
rust_docs
2.4 MB