Logician's Toolkit integrates various logical tools with MSBuild, the build system used by Microsoft Visual Studio .NET 2005. Currently these logical tools are supported:
- Coq proof assistant 8.0pl3 coqc and coqdoc (HTML and LaTeX)
See the README for details.
To download Logician's Toolkit, you must first read and accept the License Agreement.
