Skip to content

syntax: Add boundary conditions when matching keywords #1319

syntax: Add boundary conditions when matching keywords

syntax: Add boundary conditions when matching keywords #1319

Annotations

1 warning

nix-dev-build (macos-latest, coq-8-18, dev)

succeeded Oct 16, 2024 in 4m 59s