Home My Page Projects Grail
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project description

Grail is a parser/automated theorem prover for type-logical grammars allowing users to design and test their own grammars. Grail exploits different grammar properties to permit fast parsing of type-logical grammars.

Latest File Releases
Package Version Date Notes Download
grail grammars Grail Grammars 1.0.2 2008-12-19 grail grammars - Release Notes grail grammars Grail Grammars 1.0.2 - Download
grail Grail 3.1.0 2008-12-19 grail - Release Notes grail Grail 3.1.0 - Download
Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (1 public mailing list)
Project Members
Latest News
No News Found