linglib4.35.0
A Lean 4 library for formal linguistics: semantics, syntax, pragmatics, morphology, phonology, and processing — formalized across competing frameworks for high interconnection density.
1-9 of 9 versions of linglib
Sort by
Date
- 4.x
4.35.0v4.35.0718.4 MB - 4.x
4.35.0v4.35.0v4.35.0 - 4.x
4.34.1v4.34.1v4.34.1 - 4.x
4.34.0v4.34.0v4.34.0 - 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