Download of GF-2.5.tgz (GF-2.5.tgz ( external link: SF.net): 3,310,363 bytes) will begin shortly. If not so, click link on the left.
The Grammatical Framework (GF) is a grammar formalism based on type theory. It consists of a special-purpose programming language, a compiler of the language, and a generic grammar processor.