hawkrobelinglib4.32.0

A Lean 4 library for formal linguistics: semantics, syntax, pragmatics, morphology, phonology, and processing — formalized across competing frameworks for high interconnection density.
#linguistics #formal-semantics #formal-syntax #phonology #pragmatics #morphology #lean4 #mathlib
Displaying 1-4 of 4 versions of linglib
Sort by
  1. 4.xVersion track: 4.x
    4.32.0
    10 hours ago
    Released on August 3, 2026 at 7:53:48AM
    Commit 1ac1ffa builds on its recent leanprover/lean4:v4.32.2
    v4.32.2
    493.3 MB Build archive size: 493264350 bytes.
  2. 4.xVersion track: 4.x
    4.32.0
    v4.32.2
    2 days ago
    Released on August 1, 2026 at 4:17:10PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.2
  3. 4.xVersion track: 4.x
    4.32.0
    v4.32.0
    20 days ago
    Released on July 14, 2026 at 7:16:57PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0
  4. 4.xVersion track: 4.x
    4.31.0
    v4.31.0
    2 months ago
    Released on June 15, 2026 at 9:41:10PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0