Пакет: libssreflect-ocaml (1.6.1-3) [debports]

Връзки за libssreflect-ocaml

Ресурси за Debian:

Доклади за грешки

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

Няма съвпадения

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

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

Начална страница [math-comp.github.io]

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

small scale reflection extension for Coq (plugin)

This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.

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

зависимости

препоръчани

предложени

enhances

dep: libcoq-ocaml-eqz92

Пакетът не е наличен
dep: ocaml-base-nox-4.05.0

Пакетът не е наличен

enh: coq

proof assistant for higher-order logic (toplevel and compiler)

Изтегляне на libssreflect-ocaml

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
sparc64 (неофициална архитектура)	92,5 кБ	534,0 кБ	[списък на файловете]