package lem
Lem is a tool for lightweight executable mathematics
Install
Dune Dependency
Authors
Maintainers
Sources
2020-06-03.tar.gz
md5=e0a61a7eee9d444dfb377c2b214c1fc6
sha512=dcc5c83b4a415699372bfb18fd8b037f602d82d08bf63a6b02ab157deb467e5e84cf8eb31d8e6c27c713eb454fb29b77d1c42928133b2e72249db4c2992d95b8
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: 06 Jun 2020
Dependencies (6)
- num
-
zarith
>= "1.4" -
conf-findutils
build -
ocamlbuild
build -
ocamlfind
build & >= "1.5.1" -
ocaml
>= "4.02.3" & < "5.0"
Dev Dependencies
None
Conflicts
None
On This Page