Progetto

Formalizing Operator Precedence Languages in Lean

Description Operator Precedence Languages (OPL), introduced by Floyd and revived in recent years by the research group, are a subclass