Project Description
Integration of Coq and the
gallina language into MonoDevelop.
This project focuses on the integration of Coq and the gallina language into MonoDevelop.
Features:
- IntelliSense
- Background Checking
- Modern IDE support
The projects goal is to create an accurate AST representation of the Coq code which will allow refactoring or Intellisense.
2012-05-05: Second release of the integration.
2011-07-14: Lexer and Parser not complete but handle the basics. Gathering IDs from AST and offering them in the dev tool
2012-04-19: First semi-functioning version has been released. AST handles much more, but doesn't support error recovery.