View the introductory tour of the CPL (1.4Mb Flash movie). (The movie will open in a new window.)
You will need the Macromedia Flash Plug-In to view this movie.
Introduction
Features
Tour
Support Site
Project Participants
Logic and Proofs