Functional proof of guestbook contract and simple lifetime property
Modelise the state of a contract at the nth call: no mutual recursion nor treatment of internal operations. Related to #24.
Edited by Arvid Jakobsson
Modelise the state of a contract at the nth call: no mutual recursion nor treatment of internal operations. Related to #24.