CoqPIE: An IDE Aimed at Improving Proof Development Productivity - (Rough Diamond).

Kenneth Roe, Scott F. Smith

Browse the full ITP paper archive.