Paketti: libssreflect-ocaml (1.6.1-3) [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-eqz92

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

Paketti ei saatavilla

enh: coq

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

Imuroi libssreflect-ocaml

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
x32 (epävirallinen siirros)	92.5 kt	534.0 kt	[tiedostoluettelo]