package lem

All checked builds pass
  1. Overview
  2. Docs
Lem is a tool for lightweight executable mathematics

Install 

dune-project
 Dependency

www.cl.cam.ac.uk Edit opam file Versions (4)

Authors

  1. D
    Dominic Mulligan
  2. F
    Francesco Zappa Nardelli
  3. G
    Gabriel Kerneis
  4. K
    Kathy Gray
  5. P
    Peter Boehm
  6. P
    Peter Sewell
  7. S
    Scott Owens
  8. T
    Thomas Tuerk
  9. B
    Brian Campbell
  10. S
    Shaked Flur
  11. T
    Thomas Bauereiss
  12. S
    Stephen Kell
  13. T
    Thomas Williams
  14. L
    Lars Hupel
  15. B
    Basile Clement

Maintainers

  1. L
    Lem Devs <cl-lem-dev@lists.cam.ac.uk>

Sources

2026-05-01.tar.gz
sha256=87782e0887613d5ec3d52831762f4537cd46f4817b03ec37e80831f52a5b7f03
sha512=5372418b2451ad44a91e8324926661b19fb402b7a33981977bc680be9d33f9c2ccaa2d2bf146c573fcfc5eb4d660cf06c6ac8278313ec52c560ee86b3fc5cfc6

Description

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.

Added to opam-repository:

Dependencies (6)

  1. num
  2. zarith >= "1.4"
  3. conf-findutils build
  4. ocamlbuild build
  5. ocamlfind build & >= "1.5.1"
  6. ocaml >= "4.07.0"

Dev Dependencies

None

Optional Dependencies

None

Used by (3)

  1. libsail
  2. linksem
  3. sail < "0.15"

Build status

Results of building lem with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
2026-05-01 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure