[ 原始碼： lem ]
套件：liblem-ocaml-dev（2025-03-13+dfsg-1 以及其他的）
Tool merging math and logic for executable definitions (development)
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.
This package contains the development files.
其他與 liblem-ocaml-dev 有關的套件
|
|
|
|
-
- dep: libnum-ocaml-dev
- library for arbitrary-precision and rational arithmetic (development)
-
- dep: libnum-ocaml-dev-5qjd3 [s390x]
- 本虛擬套件由這些套件填實： libnum-ocaml-dev
-
- dep: libnum-ocaml-dev-m7on6 [armhf, i386]
- 本虛擬套件由這些套件填實： libnum-ocaml-dev
-
- dep: libnum-ocaml-dev-prah7 [除 armhf, i386, s390x]
- 本虛擬套件由這些套件填實： libnum-ocaml-dev
-
- dep: libstdlib-ocaml-dev
- OCaml standard library (development files)
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- 本虛擬套件由這些套件填實： libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9 [除 armhf, i386, s390x]
- 本虛擬套件由這些套件填實： libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ye7o9 [armhf, i386]
- 本虛擬套件由這些套件填實： libstdlib-ocaml-dev
-
- dep: libzarith-ocaml-dev
- arithmetic and logical operations over arbitrary-precision integers (dev)
-
- dep: libzarith-ocaml-dev-2ofb9 [s390x]
- 本虛擬套件由這些套件填實： libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-7dab1 [armhf, i386]
- 本虛擬套件由這些套件填實： libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-h79v1 [除 armhf, i386, s390x]
- 本虛擬套件由這些套件填實： libzarith-ocaml-dev
-
- dep: ocaml-5.3.0
- 本虛擬套件由這些套件填實： ocaml
-
- sug: ocaml-findlib
- management tool for OCaml libraries
下載 liblem-ocaml-dev
| 硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
|---|---|---|---|---|
| amd64 | 2025-03-13+dfsg-1+b1 | 575。1 kB | 5，496。0 kB | [檔案列表] |
| arm64 | 2025-03-13+dfsg-1+b1 | 583。9 kB | 5，784。0 kB | [檔案列表] |
| armhf | 2025-03-13+dfsg-1+b1 | 435。1 kB | 3，212。0 kB | [檔案列表] |
| i386 | 2025-03-13+dfsg-1+b1 | 435。3 kB | 3，212。0 kB | [檔案列表] |
| ppc64el | 2025-03-13+dfsg-1+b1 | 603。6 kB | 6，035。0 kB | [檔案列表] |
| riscv64 | 2025-03-13+dfsg-1+b1 | 666。1 kB | 7，750。0 kB | [檔案列表] |
| s390x | 2025-03-13+dfsg-1+b1 | 576。3 kB | 5，581。0 kB | [檔案列表] |