RC-QED: Read, Comprehend, and Prove!
No longer maintained. Moved to
R4C project page
.