wszystkie opcje
trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: lem  ]

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

Odnośniki dla lem

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego lem:

Opiekunowie:

Zasoby zewnętrzne:

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

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