Montague on linglibloghttps://hawkrobe.github.io/linglib/tags/montague/Recent content in Montague on lingliblogHugo -- 0.159.0en-usMon, 09 Feb 2026 00:00:00 +0000A Tour of Linglibhttps://hawkrobe.github.io/linglib/posts/2026-02-09-hello-world/Mon, 09 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-09-hello-world/Introducing Linglib, a Lean 4 library for cumulative, machine-checkable formal linguistics.