Welcome to Grail project!

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 News
No News Found
Project Summary
Tracker Tracker

 - Bugs(0 open / 1 total)

 - Support(0 open / 0 total)

 - Patches(0 open / 0 total)

 - Feature Requests(0 open / 0 total)


Forums  Forums3 messages in 3 forums
Docs  Doc Manager
Mail Lists  Mailing Lists ( 1 public lists )
Tasks  Task Manager
  - To Do
  - Next Release
SCM  SCM Tree ( 1 commits, 0 adds )
FTP  Released Files

 

 

In case of problems, mail the administrators or file a bug

Powered By GForge Collaborative Development Environment