Coqtail

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎2 ‎Голосов

О Coqtail

Теоремы, абстракции и реализации (бакалавр уровня) Coqtail является библиотека математических доказательств с помощью помощника доказательства Coq.