Skip to content
STIMSMITH

Lem

Tool
First seen 8/11/2026
Last seen 8/11/2026
Evidence 4 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

5 connections
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors ← uses 100% 2e
The paper uses Lem as the mathematical metalanguage for expressing the model.
Sail ← depends on 100% 2e
Sail is embedded in the Lem metalanguage and the Sail interpreter is written in Lem.
Coq proof assistant ← uses 85% 1e
Lem can export definitions to Coq.
HOL4 ← uses 85% 1e
Lem can export definitions to HOL4.
Isabelle/HOL ← uses 85% 1e
Lem can export definitions to Isabelle/HOL.