CoqPIE

MaRDI QIDQ33378swMATHFDO

Official website https://github.com/kendroe/CoqPIE

Source code repository https://github.com/kendroe/CoqPIE

Described by source

• Coqpie: an IDE aimed at improving proof development productivity (rough diamond)

Cited in

(4)

• Proviola
• CtCoq
• Coqoon
• PeaCoq

This page was built for software: CoqPIE