всички настройки
bookworm  ] [  trixie  ] [  sid  ]
[ Източник: coq-hammer  ]

Пакет: libcoq-hammer (1.3.2+8.19-1)

Връзки за libcoq-hammer

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник coq-hammer.

Отговорници:

Външни препратки:

Подобни пакети:

automated reasoning tool for Coq

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

Coq is a proof assistant for higher-order logic.

Други пакети, свързани с libcoq-hammer

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на libcoq-hammer

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
armhf 480,9 кБ2 816,0 кБ [списък на файловете]