Пакунок: libssreflect-ocaml (1.6.1-3 and others) [debports]

Links for libssreflect-ocaml

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

External Resources:

Homepage [math-comp.github.io]

Similar packages:

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

depends

recommends

suggests

enhances

dep: libcoq-ocaml-eqz92 [not hppa]

Пакунок недоступний
dep: libcoq-ocaml-uqoh2 [hppa]

Пакунок недоступний
dep: ocaml-base-nox-4.02.3 [hppa]

Пакунок недоступний
dep: ocaml-base-nox-4.05.0 [not hppa]

Пакунок недоступний

enh: coq

Інтерактивний програмний засіб доведення теорем для логіки вищого порядку (інтерактивне середовище і компілятор)

Завантажити libssreflect-ocaml

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
alpha (unofficial port)	1.6.1-3	92.5 kB	534.0 kB	[список файлів]
hppa (unofficial port)	1.6.1-2+b1	92.0 kB	533.0 kB	[список файлів]
ia64 (unofficial port)	1.6.1-3	92.6 kB	534.0 kB	[список файлів]
sh4 (unofficial port)	1.6.1-3	92.5 kB	534.0 kB	[список файлів]
sparc64 (unofficial port)	1.6.1-3	92.5 kB	534.0 kB	[список файлів]
x32 (unofficial port)	1.6.1-3	92.5 kB	534.0 kB	[список файлів]