Графический интерфейс помощника проверки Coq - Graphical interface for the Coq proof assistant
[ О приложении ]

GTK-based graphical interface for the Coq proof assistant

Источник
Репозиторий: extra