CoqPIE

swMATH21572MaRDI QIDQ33378FDOQ33378

Author name not available (Why is that?)

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 (3)

• CtCoq
• Coqoon
• PeaCoq

This page was built for software: CoqPIE