| 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 | |||||||||
