The following pages link to Ewen Maclean (Q667525):
Displayed 6 items.
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- A computational framework for conceptual blending (Q1748468) (← links)
- Proof-Pattern Recognition and Lemma Discovery in ACL2 (Q2870142) (← links)
- ASP, Amalgamation, and the Conceptual Blending Workflow (Q3449215) (← links)
- The Imandra Automated Reasoning System (System Description) (Q5049029) (← links)
- Proof automation for functional correctness in separation logic (Q5739977) (← links)