A Proof Planning Framework for Isabelle (2005)

Cached

Download Links

by Lucas Dixon
Citations:13 - 9 self

Document Versions

A Proof Planning Framework for Isabelle –Lucas Dixon — 2005