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