deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg)
Description: |-
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.
Homepage: https://github.com/rems-project/lem
Installed-Size: '5258'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: lem
Priority: optional
Section: ocaml
Suggests: ocaml-findlib
Version: 2022-12-10+dfsg2-3
srcpkg_name: lem
srcpkg_version: 2022-12-10+dfsg2-3