Skip to content
CI

also omit proofs with bullets and braces #693

Sign in to view logs

also omit proofs with bullets and braces

also omit proofs with bullets and braces #693

test-indent (26.3)

test-indent (26.3)
succeeded Jun 12, 2024 in 36s