CoqPIE

swMATH21572MaRDI QIDQ33378FDOQ33378

Author name not available (Why is that?)

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

Described by source

• CoqPIE: An IDE Aimed at Improving Proof Development Productivity

This page was built for software: CoqPIE