linglib4.33.0
A Lean 4 library for formal linguistics: semantics, syntax, pragmatics, morphology, phonology, and processing — formalized across competing frameworks for high interconnection density.
1-6 of 6 versions of linglib
Sort by
Date
- 4.x
4.33.0v4.33.1577.8 MB - 4.x
4.33.0v4.33.1v4.33.1 - 4.x
4.33.0v4.33.0v4.33.0 - 4.x
4.32.0v4.32.2v4.32.2 - 4.x
4.32.0v4.32.0v4.32.0 - 4.x
4.31.0v4.31.0v4.31.0