Package lem

https://github.com/rems-project/lem

Lem is a tool for lightweight executable mathematics,
for writing, managing, and publishing large-scale
portable semantic definitions. It exports to LaTeX,
OCaml code, and theorem proves (Coq, HOL4, Isabelle/HOL).
Generated Coq code may not be idiomatic. It acts as
an intermediate language for domain-specific tools
and for porting definitions between theorem proves.

Version: 2025.03.13