Skip to content
Build and deploy library website

For p q : ℚ, succ-ℚ p * q = q + (p * q) (#1282) #648

Sign in to view logs

For p q : ℚ, succ-ℚ p * q = q + (p * q) (#1282)

For p q : ℚ, succ-ℚ p * q = q + (p * q) (#1282) #648

Triggered via push February 6, 2025 18:51
@fredrik-bakkefredrik-bakke
pushed 8662d37
master
Status Success
Total duration 6m 52s
Artifacts –

pages.yaml

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

Annotations

3 warnings
website (2.7.0)
New version for mdbook-katex available: 0.9.2
website (2.7.0)
New version for mdbook-catppuccin available: 3.0.0
website (2.7.0)
New version for mdbook-pagetoc available: 0.2.0