| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
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.
| Package | Summary | Distribution | Download |
| lem-2025.03.13-3.fc43.aarch64.html | A tool for semantic definition language | Fedora Rawhide for aarch64 | lem-2025.03.13-3.fc43.aarch64.rpm |
| lem-2025.03.13-3.fc43.ppc64le.html | A tool for semantic definition language | Fedora Rawhide for ppc64le | lem-2025.03.13-3.fc43.ppc64le.rpm |
| lem-2025.03.13-3.fc43.s390x.html | A tool for semantic definition language | Fedora Rawhide for s390x | lem-2025.03.13-3.fc43.s390x.rpm |
| lem-2025.03.13-3.fc43.x86_64.html | A tool for semantic definition language | Fedora Rawhide for x86_64 | lem-2025.03.13-3.fc43.x86_64.rpm |
| lem-2025.03.13-2.fc42.aarch64.html | A tool for semantic definition language | Fedora 42 updates for aarch64 | lem-2025.03.13-2.fc42.aarch64.rpm |
| lem-2025.03.13-2.fc42.ppc64le.html | A tool for semantic definition language | Fedora 42 updates for ppc64le | lem-2025.03.13-2.fc42.ppc64le.rpm |
| lem-2025.03.13-2.fc42.s390x.html | A tool for semantic definition language | Fedora 42 updates for s390x | lem-2025.03.13-2.fc42.s390x.rpm |
| lem-2025.03.13-2.fc42.x86_64.html | A tool for semantic definition language | Fedora 42 updates for x86_64 | lem-2025.03.13-2.fc42.x86_64.rpm |
| lem-2025.03.13-2.fc41.aarch64.html | A tool for semantic definition language | Fedora 41 updates for aarch64 | lem-2025.03.13-2.fc41.aarch64.rpm |
| lem-2025.03.13-2.fc41.ppc64le.html | A tool for semantic definition language | Fedora 41 updates for ppc64le | lem-2025.03.13-2.fc41.ppc64le.rpm |
| lem-2025.03.13-2.fc41.s390x.html | A tool for semantic definition language | Fedora 41 updates for s390x | lem-2025.03.13-2.fc41.s390x.rpm |
| lem-2025.03.13-2.fc41.x86_64.html | A tool for semantic definition language | Fedora 41 updates for x86_64 | lem-2025.03.13-2.fc41.x86_64.rpm |
Generated by rpm2html 1.6