Skip to content
Sections
>> Trisquel >> Пакети >> Резултат от търсенето на пакети

Търсене за пакети, чиито имена съдържат coq-theories в всички дистрибуции, всички раздели и всички архитектури. Намерени са 1 пакета.

Точни попадения

Пакет coq-theories

  • nabia (math): proof assistant for higher-order logic (theories)
    8.11.0-1: amd64
  • etiona (math): proof assistant for higher-order logic (theories)
    8.6-5build1: amd64 i386