ID | 118718 | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Build | lem-2025.03.13-2.fc42 | |||||||||
Name | lem | |||||||||
Version | 2025.03.13 | |||||||||
Release | 2.fc42 | |||||||||
Epoch | ||||||||||
Arch | src | |||||||||
Draft | False | |||||||||
Summary | A tool for semantic definition language | |||||||||
Description | 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. | |||||||||
Build Time | 2025-07-12 13:55:11 GMT | |||||||||
Size | 3.12 MB | |||||||||
f9c2a671bc83d5da5c3826b1b517159d | ||||||||||
License | LGPL-2.0-only | |||||||||
Buildroot | f42-build-193-50 | |||||||||
Provides |
|
|||||||||
Obsoletes | No Obsoletes | |||||||||
Conflicts | No Conflicts | |||||||||
Requires |
|
|||||||||
Recommends | No Recommends | |||||||||
Suggests | No Suggests | |||||||||
Supplements | No Supplements | |||||||||
Enhances | No Enhances | |||||||||
Files |
|
|||||||||
Component of | No Buildroots |