Paketti: libssreflect-ocaml (1.6.1-2 ja muut) [debports]

Links for libssreflect-ocaml

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

External Resources:

Kotisivu [math-comp.github.io]

Samankaltaisia paketteja:

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.

Muut pakettiin libssreflect-ocaml liittyvät paketit

depends

recommends

suggests

enhances

dep: libcoq-ocaml-uqoh2

Paketti ei saatavilla
dep: ocaml-base-nox-4.02.3

Paketti ei saatavilla

enh: coq

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

Imuroi libssreflect-ocaml

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
hppa (epävirallinen siirros)	1.6.1-2+b1	92.0 kt	533.0 kt	[tiedostoluettelo]