Skip to content

Revise spec to be in Typst + Add some agda #6720

Revise spec to be in Typst + Add some agda

Revise spec to be in Typst + Add some agda #6720

Annotations

1 warning

Peers: 3, scaling: 10, loss: 10

succeeded Jul 2, 2026 in 5m 1s