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. 

Last edited May 5, 2012 at 6:45 PM by Xenik, version 10