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

Пакет: libcoq-stdpp (1.10.0-1)

Връзки за libcoq-stdpp

Screenshot

Ресурси за Debian:

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

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

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

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

Extended standard library for Coq

This package provides an extended standard library for Coq, for instance: 

 - a great number of definitions and lemmas for common data
structures like lists, finite maps and finite multisets ; 
 - type classes for common properties like decidable equality,
finiteness or countability ; 
 - various tactics for common tasks ;
all of this dependency-free and axiom-free.

Coq is a proof assistant for higher-order logic.

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

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

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

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 4 615,5 кБ17 789,0 кБ [списък на файловете]