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-master, fatalwarnings)

succeeded Oct 16, 2024 in 7m 53s