Releases · hawkrobe/linglib

First stable release of Linglib, a Lean 4 library for formal linguistics — semantics, syntax, pragmatics, morphology, phonology, and processing, formalized across competing frameworks for high interconnection density.

Built against Lean v4.31.0 / mathlib v4.31.0; the full library compiles clean (6245 modules).

No results found