hawkrobelinglib4.31.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
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibv4.31.0

    The math library of Lean 4
  2. Git dependency.
    Found on Reservoir.

    doc-gen4v4.31.0

    Document Generator for Lean 4