Skip to content

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

Revise spec to be in Typst + Add some agda

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

Annotations

1 warning

Peers: 3, scaling: 10, loss: 10

succeeded Jul 2, 2026 in 4m 47s