hawkrobelinglib4.29.1

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-1 of 1 versions of linglib
Sort by
  1. 4.xVersion track: 4.x
    4.29.1
    7 hours ago
    Released on April 29, 2026 at 1:19:01PM
    Commit 0bfd7c0 builds on its recent leanprover/lean4:v4.29.1
    v4.29.1
    424.0 MB Build archive size: 424040917 bytes.