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 (ubuntu-latest, coq-8-18, fatalwarnings)

succeeded Oct 16, 2024 in 3m 44s