Skip to content
Formalization website

Improve generality of homotopy whiskering operations (#976) #415

Sign in to view logs

Improve generality of homotopy whiskering operations (#976)

Improve generality of homotopy whiskering operations (#976) #415

Triggered via push December 7, 2023 23:24
@fredrik-bakkefredrik-bakke
pushed ab24893
master
Status Success
Total duration 22m 18s
Artifacts –

pages.yaml

on: push
Matrix: website
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
website (2.6.4)
New version for mdbook-katex available: 0.5.9
website (2.6.4)
New version for mdbook-catppuccin available: 2.1.0