ABSTRACT
The paper is organized as follows. In Section 2, we will give an overview of Eos. In Sections 3 and 4, we explain the use of Eos with illustrative examples. In Section 5, we will explain the use of Eos for proving the correctness of the construction. In Section 6, we explain webOrigami, which interfaces Eos to the web. We summarize our results in Section 7.
