Coq Au Win

  •        0

Integration of Coq and the gallina language into Visual Studio 2010.

http://coqauwin.codeplex.com/

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

monodevelop - MonoDevelop is a cross platform IDE mostly aimed at Mono/.NET developers


MonoDevelop is a cross platform IDE mostly aimed at Mono/.NET developers

mono-monodevelop


MonoDevelop is a cross platform IDE mostly aimed at Mono/.NET developers

MonoDevelop


MonoDevelop enables developers to quickly write desktop and ASP.NET Web applications on Linux, Windows and Mac OSX. MonoDevelop makes it easy for developers to port .NET applications created with Visual Studio to Linux and to maintain a single code base for all platforms.

Coqtail


COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail is a library of mathematical proofs using the Coq proof assistant.

Prebuild


Prebuild is a cross-platform XML-driven pre-build tool which allows developers to easily generate project files for major IDE's and .NET development tools including: Visual Studio .NET 2002, 2003, 2005, SharpDevelop, MonoDevelop, NAnt and Autotools.

Icarus Scene Engine 3.0


Icarus Scene Engine 3.0 is a cross-platform 3D framework, integrating open source APIs into a cohesive all-open-source, all .NET solution. For Windows, MacOSX, Linux, Web, iOS. Uses OpenTK, OpenGL, OpenAL, Mono/.NET, FFMpeg. Works with .NET 2.0 or later, using Visual Studio (inc. Express editions) as well as MonoDevelop amp; Xamarin Studio. NOTE: Icarus Scene Engine 3.0 is an almost total re-write from Version 2.0. More focussed, more specific in function and goals, much more developer-fri

Gendarmeaddin - Addin for MonoDevelop integrating Gendarme


Addin for MonoDevelop integrating Gendarme To install it easily in MonoDevelop, just add this repository: http://www.babuine.net/GendarmeAddin/ Courtesy of Néstor Salceda

Lambda Tamer


A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant