Home » Tags

Vision

A Tour of Linglib

Introducing Linglib, a Lean 4 library for cumulative, machine-checkable formal linguistics.

February 9, 2026 · Robert Hawkins