package lem
Lem is a tool for lightweight executable mathematics
Install
Dune Dependency
Authors
Maintainers
Sources
2025-03-13.tar.gz
md5=3a4bdd7d70450f0ca2444fcd475bd9d1
sha512=3e11d546b1357ff12138a301d4c74bc280ec87b459f86cc951fcaf92f089f8d2c68255e4559f56d95024e50d23274708e8308f98f51b5b5caad875269847aba8
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.
Published: 15 Mar 2025
Dependencies (6)
- num
-
zarith
>= "1.4"
-
conf-findutils
build
-
ocamlbuild
build
-
ocamlfind
build & >= "1.5.1"
-
ocaml
>= "4.07.0"
Dev Dependencies
None
Conflicts (1)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page