The following pages link to CakeML (Q20799):
Displayed 9 items.
- Proof Auditing Formalised Mathematics (Q5195266) (← links)
- (Q5219926) (← links)
- A Verified Theorem Prover Backend Supported by a Monotonic Library (Q5222980) (← links)
- CakeML (Q5408415) (← links)
- (Q5856420) (← links)
- A verified generational garbage collector for CakeML (Q5915786) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)
- A verified generational garbage collector for CakeML (Q5919585) (← links)