Pakiet: lem (2025-03-13+dfsg-1 i inne)

Odnośniki dla lem

Zasoby systemu Debian:

Pobieranie pakietu źródłowego lem:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

Tool merging math and logic for executable definitions (tool)

Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL).

It is also intended as an intermediate language for generating definitions from domain-specific tools, and for porting definitions between interactive theorem proving systems.

Inne pakiety związane z lem

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.38) [nie armhf, i386]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgmp10 (>= 2:6.3.0+dfsg) [nie armhf, i386]

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libstdlib-ocaml-ye7o9 [armhf, i386]

pakiet wirtualny udostępniany przez libstdlib-ocaml
dep: libzarith-ocaml-7dab1 [armhf, i386]

pakiet wirtualny udostępniany przez libzarith-ocaml
dep: ocaml-base-5.3.0 [armhf, i386]

pakiet wirtualny udostępniany przez ocaml-base

sug: ocaml-findlib

Narzędzie zarządzające bibliotekami OCaml

Pobieranie lem

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	2025-03-13+dfsg-1+b1	1 354,5 KiB	5 305,0 KiB	[lista plików]
arm64	2025-03-13+dfsg-1+b1	1 504,2 KiB	6 217,0 KiB	[lista plików]
armhf	2025-03-13+dfsg-1+b1	193,4 KiB	1 463,0 KiB	[lista plików]
i386	2025-03-13+dfsg-1+b1	193,5 KiB	1 463,0 KiB	[lista plików]
ppc64el	2025-03-13+dfsg-1+b1	1 383,3 KiB	5 833,0 KiB	[lista plików]
riscv64	2025-03-13+dfsg-1+b1	1 397,8 KiB	5 725,0 KiB	[lista plików]
s390x	2025-03-13+dfsg-1+b1	1 372,8 KiB	6 185,0 KiB	[lista plików]