Pakiet: libssreflect-ocaml (1.6.1-3) [debports]

Odnośniki dla libssreflect-ocaml

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [math-comp.github.io]

Podobne pakiety:

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.

Inne pakiety związane z libssreflect-ocaml

wymaga

poleca

sugeruje

enhances

dep: libcoq-ocaml-eqz92

Pakiet niedostępny
dep: ocaml-base-nox-4.05.0

Pakiet niedostępny

enh: coq

Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)

Pobieranie libssreflect-ocaml

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
x32 (port nieoficjalny)	92,5 KiB	534,0 KiB	[lista plików]