Package 'coqide'

Details

Available screenshots

(These screenshots are licensed under the same terms as 'coqide' itself.)

Screenshot
Version: 8.4pl2dfsg-1

Request removal