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

[ Pakiet źródłowy: lem  ]

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

• 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-1vpd4 [armhf, i386]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libzarith-ocaml-cqc12 [armhf, i386]

  pakiet wirtualny udostępniany przez libzarith-ocaml

• dep: ocaml-base-5.4.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+b2	1 361,1 KiB	5 337,0 KiB	[lista plików]
arm64	2025-03-13+dfsg-1+b2	1 509,9 KiB	6 216,0 KiB	[lista plików]
armhf	2025-03-13+dfsg-1+b2	195,1 KiB	1 476,0 KiB	[lista plików]
i386	2025-03-13+dfsg-1+b2	195,1 KiB	1 476,0 KiB	[lista plików]
ppc64el	2025-03-13+dfsg-1+b2	1 394,6 KiB	5 832,0 KiB	[lista plików]
riscv64	2025-03-13+dfsg-1+b2	1 422,5 KiB	5 756,0 KiB	[lista plików]
s390x	2025-03-13+dfsg-1+b2	1 399,6 KiB	6 220,0 KiB	[lista plików]