Expand description
Canonical runtime surface aligned with Lean Runtime.ProtocolMachine.Runtime.
Modulesยง
- failure
- Runtime failure and admission surfaces.
- loader
- Runtime loading surface.
- runner
- Runtime runner and guest-runtime surfaces.
- threaded_
runner - Multi-threaded runtime surface.