Generalized Quantifiers as a Case Study in Cross-Module Verification
Tracing generalized quantifier theory from abstract properties through lexical entries to RSA predictions.
Architecture
A Tour of Linglib
Introducing Linglib, a Lean 4 library for cumulative, machine-checkable formal linguistics.