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 (coq-8.13.2-emacs-27.2)

test (coq-8.13.2-emacs-27.2)
succeeded Jun 12, 2024 in 1m 25s