About   Install   Using   API Documentation   Contact us

About

The Coq Link project delivers the user with a link to Coq written in Java. The code is packaged in a small JAR-file so the user is able to reuse the link in his/her own project without much effort.

Install

How do you install this package? Very easy, just make sure when you start your own project the JAR-file for this project is also in the classpath. After that the link should work.

Using

Will be filled in later

Contact us

If you wish to contact the author mail him at mriem@win.tue.nl

Copyright (c) 2000, Eindhoven University of Technology (TU/e).
All Rights Reserved.