PeaCoq

MaRDI QIDQ33379swMATHFDO

Official website https://github.com/Ptival/PeaCoq

Source code repository https://github.com/Ptival/PeaCoq

Cited in

(5)

• Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
• Proviola
• CtCoq
• Coqoon
• CoqPIE

This page was built for software: PeaCoq