typo
This is a Major Rewrite of an
implementation of Coquand and Huet's Calculus of Constructions in Java
.
That version, typo 0.01, was distributed under a
FreeBSD-style license (here is a
.tar.gz archive
of it.)
The new version is distributed under the
GNU
Lesser (a.k.a. Library) General Public License
.
Update: most of what I've done recently is focussing on implementing
proof search in Objective Caml.