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.

Troubleshooting

Depending on your Internet settings, you might need to add nummist.com to Trusted Sites in order to launch the installer for Logician's Toolkit.

Depending on your Windows version and account settings, you might need to run the application with administrator priveleges in order to add the libraries to your Program Files directory. (This step is part of the application's post-installation functionality.) To run the application with administrator privileges on Windows Vista, first run Command Prompt with administrator priveleges (i.e. by right-clicking its Start menu icon and selecting Run as administrator) and then in Command Prompt enter "C:\Users\<username>\AppData\Roaming\Microsoft\Windows\Start Menu\Programs\Poohbist Technology\Logician's Toolkit.appref-ms", including quotation marks but substituting your username for <username>.