2 Jun
2009
2 Jun
'09
10:38 a.m.
thanks. our tools can be just as freely downloaded, eg http://www.kestrel.edu/home/projects/pda/ -- dusko On Tue, 2 Jun 2009, Till Mossakowski wrote:
Dusko,
let me just notice that we are maintaining a *free software* tool that actually is built upon categorical ideas (using Goguen's and Burstall's institutions) and that computes colimits (there is a menu Edit -> Proofs -> Compute Colimit
It is published under a free license, so you can freely download the binaries, the source, modify the source, and republish your improvements under the license.
Best, Till
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]