Carnap

An interactive proof checker that runs in the browser.

This version of Carnap is now considerably out of date. For information about the latest generation of this project, please check out our new webpage.