The Triple Project
Software

The refinement type checker SML Cidre, currently under development in the Triple project, is now available for the first time. This is preliminary release. One with more complete documentation will follow in early 2005.