Pages that link to "Item:Q2324018"
From MaRDI portal
The following pages link to A verified compiler from Isabelle/HOL to CakeML (Q2324018):
Displayed 9 items.
- Amortized complexity verified (Q670702) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- Proof-producing synthesis of CakeML from monadic HOL functions (Q2208292) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Trustworthy Graph Algorithms (Invited Talk) (Q5092359) (← links)
- Extracting functional programs from Coq, in Coq (Q5101927) (← links)
- (Q5856420) (← links)
- (Q5875431) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)