#

unambiguity

Here is 1 public repository matching this topic...

shilangyu / unambiguous-grammar

Formal specification of a language of grammars and proofs about their ambiguity

syntax parser grammars theorem-proving unambiguity

Updated Apr 19, 2024
Coq

Improve this page

Add a description, image, and links to the unambiguity topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the unambiguity topic, visit your repo's landing page and select "manage topics."